#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            2

#define _N                   2560 // Nombre de Variables
#define _K                   1536 // Nombre de Checks   
#define _M                   7680 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                6
#define DEG_2                3

#define DEG_1_COMPUTATIONS   1024
#define DEG_2_COMPUTATIONS   512

#define NB_ITERATIONS        20
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)

//static float  beta         = 0.15;
//static int    FACTEUR_BETA = (0x0001<<(NB_BITS_MESSAGES/2));
//static int    BETA_FIX; // = ((int)(FACTEUR_BETA*beta))

#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[7680] ={
/* msg =      0, deg =  6 */      0,    512,   1536,   2151,   2281,   2304, 
/* msg =      1, deg =  6 */      1,    513,   1537,   2152,   2282,   2305, 
/* msg =      2, deg =  6 */      2,    514,   1538,   2153,   2283,   2306, 
/* msg =      3, deg =  6 */      3,    515,   1539,   2154,   2284,   2307, 
/* msg =      4, deg =  6 */      4,    516,   1540,   2155,   2285,   2308, 
/* msg =      5, deg =  6 */      5,    517,   1541,   2156,   2286,   2309, 
/* msg =      6, deg =  6 */      6,    518,   1542,   2157,   2287,   2310, 
/* msg =      7, deg =  6 */      7,    519,   1543,   2158,   2288,   2311, 
/* msg =      8, deg =  6 */      8,    520,   1544,   2159,   2289,   2312, 
/* msg =      9, deg =  6 */      9,    521,   1545,   2160,   2290,   2313, 
/* msg =     10, deg =  6 */     10,    522,   1546,   2161,   2291,   2314, 
/* msg =     11, deg =  6 */     11,    523,   1547,   2162,   2292,   2315, 
/* msg =     12, deg =  6 */     12,    524,   1548,   2163,   2293,   2316, 
/* msg =     13, deg =  6 */     13,    525,   1549,   2164,   2294,   2317, 
/* msg =     14, deg =  6 */     14,    526,   1550,   2165,   2295,   2318, 
/* msg =     15, deg =  6 */     15,    527,   1551,   2166,   2296,   2319, 
/* msg =     16, deg =  6 */     16,    528,   1552,   2167,   2297,   2320, 
/* msg =     17, deg =  6 */     17,    529,   1553,   2168,   2298,   2321, 
/* msg =     18, deg =  6 */     18,    530,   1554,   2169,   2299,   2322, 
/* msg =     19, deg =  6 */     19,    531,   1555,   2170,   2300,   2323, 
/* msg =     20, deg =  6 */     20,    532,   1556,   2171,   2301,   2324, 
/* msg =     21, deg =  6 */     21,    533,   1557,   2172,   2302,   2325, 
/* msg =     22, deg =  6 */     22,    534,   1558,   2173,   2303,   2326, 
/* msg =     23, deg =  6 */     23,    535,   1559,   2174,   2176,   2327, 
/* msg =     24, deg =  6 */     24,    536,   1560,   2175,   2177,   2328, 
/* msg =     25, deg =  6 */     25,    537,   1561,   2048,   2178,   2329, 
/* msg =     26, deg =  6 */     26,    538,   1562,   2049,   2179,   2330, 
/* msg =     27, deg =  6 */     27,    539,   1563,   2050,   2180,   2331, 
/* msg =     28, deg =  6 */     28,    540,   1564,   2051,   2181,   2332, 
/* msg =     29, deg =  6 */     29,    541,   1565,   2052,   2182,   2333, 
/* msg =     30, deg =  6 */     30,    542,   1566,   2053,   2183,   2334, 
/* msg =     31, deg =  6 */     31,    543,   1567,   2054,   2184,   2335, 
/* msg =     32, deg =  6 */     32,    544,   1568,   2055,   2185,   2336, 
/* msg =     33, deg =  6 */     33,    545,   1569,   2056,   2186,   2337, 
/* msg =     34, deg =  6 */     34,    546,   1570,   2057,   2187,   2338, 
/* msg =     35, deg =  6 */     35,    547,   1571,   2058,   2188,   2339, 
/* msg =     36, deg =  6 */     36,    548,   1572,   2059,   2189,   2340, 
/* msg =     37, deg =  6 */     37,    549,   1573,   2060,   2190,   2341, 
/* msg =     38, deg =  6 */     38,    550,   1574,   2061,   2191,   2342, 
/* msg =     39, deg =  6 */     39,    551,   1575,   2062,   2192,   2343, 
/* msg =     40, deg =  6 */     40,    552,   1576,   2063,   2193,   2344, 
/* msg =     41, deg =  6 */     41,    553,   1577,   2064,   2194,   2345, 
/* msg =     42, deg =  6 */     42,    554,   1578,   2065,   2195,   2346, 
/* msg =     43, deg =  6 */     43,    555,   1579,   2066,   2196,   2347, 
/* msg =     44, deg =  6 */     44,    556,   1580,   2067,   2197,   2348, 
/* msg =     45, deg =  6 */     45,    557,   1581,   2068,   2198,   2349, 
/* msg =     46, deg =  6 */     46,    558,   1582,   2069,   2199,   2350, 
/* msg =     47, deg =  6 */     47,    559,   1583,   2070,   2200,   2351, 
/* msg =     48, deg =  6 */     48,    560,   1584,   2071,   2201,   2352, 
/* msg =     49, deg =  6 */     49,    561,   1585,   2072,   2202,   2353, 
/* msg =     50, deg =  6 */     50,    562,   1586,   2073,   2203,   2354, 
/* msg =     51, deg =  6 */     51,    563,   1587,   2074,   2204,   2355, 
/* msg =     52, deg =  6 */     52,    564,   1588,   2075,   2205,   2356, 
/* msg =     53, deg =  6 */     53,    565,   1589,   2076,   2206,   2357, 
/* msg =     54, deg =  6 */     54,    566,   1590,   2077,   2207,   2358, 
/* msg =     55, deg =  6 */     55,    567,   1591,   2078,   2208,   2359, 
/* msg =     56, deg =  6 */     56,    568,   1592,   2079,   2209,   2360, 
/* msg =     57, deg =  6 */     57,    569,   1593,   2080,   2210,   2361, 
/* msg =     58, deg =  6 */     58,    570,   1594,   2081,   2211,   2362, 
/* msg =     59, deg =  6 */     59,    571,   1595,   2082,   2212,   2363, 
/* msg =     60, deg =  6 */     60,    572,   1596,   2083,   2213,   2364, 
/* msg =     61, deg =  6 */     61,    573,   1597,   2084,   2214,   2365, 
/* msg =     62, deg =  6 */     62,    574,   1598,   2085,   2215,   2366, 
/* msg =     63, deg =  6 */     63,    575,   1599,   2086,   2216,   2367, 
/* msg =     64, deg =  6 */     64,    576,   1600,   2087,   2217,   2368, 
/* msg =     65, deg =  6 */     65,    577,   1601,   2088,   2218,   2369, 
/* msg =     66, deg =  6 */     66,    578,   1602,   2089,   2219,   2370, 
/* msg =     67, deg =  6 */     67,    579,   1603,   2090,   2220,   2371, 
/* msg =     68, deg =  6 */     68,    580,   1604,   2091,   2221,   2372, 
/* msg =     69, deg =  6 */     69,    581,   1605,   2092,   2222,   2373, 
/* msg =     70, deg =  6 */     70,    582,   1606,   2093,   2223,   2374, 
/* msg =     71, deg =  6 */     71,    583,   1607,   2094,   2224,   2375, 
/* msg =     72, deg =  6 */     72,    584,   1608,   2095,   2225,   2376, 
/* msg =     73, deg =  6 */     73,    585,   1609,   2096,   2226,   2377, 
/* msg =     74, deg =  6 */     74,    586,   1610,   2097,   2227,   2378, 
/* msg =     75, deg =  6 */     75,    587,   1611,   2098,   2228,   2379, 
/* msg =     76, deg =  6 */     76,    588,   1612,   2099,   2229,   2380, 
/* msg =     77, deg =  6 */     77,    589,   1613,   2100,   2230,   2381, 
/* msg =     78, deg =  6 */     78,    590,   1614,   2101,   2231,   2382, 
/* msg =     79, deg =  6 */     79,    591,   1615,   2102,   2232,   2383, 
/* msg =     80, deg =  6 */     80,    592,   1616,   2103,   2233,   2384, 
/* msg =     81, deg =  6 */     81,    593,   1617,   2104,   2234,   2385, 
/* msg =     82, deg =  6 */     82,    594,   1618,   2105,   2235,   2386, 
/* msg =     83, deg =  6 */     83,    595,   1619,   2106,   2236,   2387, 
/* msg =     84, deg =  6 */     84,    596,   1620,   2107,   2237,   2388, 
/* msg =     85, deg =  6 */     85,    597,   1621,   2108,   2238,   2389, 
/* msg =     86, deg =  6 */     86,    598,   1622,   2109,   2239,   2390, 
/* msg =     87, deg =  6 */     87,    599,   1623,   2110,   2240,   2391, 
/* msg =     88, deg =  6 */     88,    600,   1624,   2111,   2241,   2392, 
/* msg =     89, deg =  6 */     89,    601,   1625,   2112,   2242,   2393, 
/* msg =     90, deg =  6 */     90,    602,   1626,   2113,   2243,   2394, 
/* msg =     91, deg =  6 */     91,    603,   1627,   2114,   2244,   2395, 
/* msg =     92, deg =  6 */     92,    604,   1628,   2115,   2245,   2396, 
/* msg =     93, deg =  6 */     93,    605,   1629,   2116,   2246,   2397, 
/* msg =     94, deg =  6 */     94,    606,   1630,   2117,   2247,   2398, 
/* msg =     95, deg =  6 */     95,    607,   1631,   2118,   2248,   2399, 
/* msg =     96, deg =  6 */     96,    608,   1632,   2119,   2249,   2400, 
/* msg =     97, deg =  6 */     97,    609,   1633,   2120,   2250,   2401, 
/* msg =     98, deg =  6 */     98,    610,   1634,   2121,   2251,   2402, 
/* msg =     99, deg =  6 */     99,    611,   1635,   2122,   2252,   2403, 
/* msg =    100, deg =  6 */    100,    612,   1636,   2123,   2253,   2404, 
/* msg =    101, deg =  6 */    101,    613,   1637,   2124,   2254,   2405, 
/* msg =    102, deg =  6 */    102,    614,   1638,   2125,   2255,   2406, 
/* msg =    103, deg =  6 */    103,    615,   1639,   2126,   2256,   2407, 
/* msg =    104, deg =  6 */    104,    616,   1640,   2127,   2257,   2408, 
/* msg =    105, deg =  6 */    105,    617,   1641,   2128,   2258,   2409, 
/* msg =    106, deg =  6 */    106,    618,   1642,   2129,   2259,   2410, 
/* msg =    107, deg =  6 */    107,    619,   1643,   2130,   2260,   2411, 
/* msg =    108, deg =  6 */    108,    620,   1644,   2131,   2261,   2412, 
/* msg =    109, deg =  6 */    109,    621,   1645,   2132,   2262,   2413, 
/* msg =    110, deg =  6 */    110,    622,   1646,   2133,   2263,   2414, 
/* msg =    111, deg =  6 */    111,    623,   1647,   2134,   2264,   2415, 
/* msg =    112, deg =  6 */    112,    624,   1648,   2135,   2265,   2416, 
/* msg =    113, deg =  6 */    113,    625,   1649,   2136,   2266,   2417, 
/* msg =    114, deg =  6 */    114,    626,   1650,   2137,   2267,   2418, 
/* msg =    115, deg =  6 */    115,    627,   1651,   2138,   2268,   2419, 
/* msg =    116, deg =  6 */    116,    628,   1652,   2139,   2269,   2420, 
/* msg =    117, deg =  6 */    117,    629,   1653,   2140,   2270,   2421, 
/* msg =    118, deg =  6 */    118,    630,   1654,   2141,   2271,   2422, 
/* msg =    119, deg =  6 */    119,    631,   1655,   2142,   2272,   2423, 
/* msg =    120, deg =  6 */    120,    632,   1656,   2143,   2273,   2424, 
/* msg =    121, deg =  6 */    121,    633,   1657,   2144,   2274,   2425, 
/* msg =    122, deg =  6 */    122,    634,   1658,   2145,   2275,   2426, 
/* msg =    123, deg =  6 */    123,    635,   1659,   2146,   2276,   2427, 
/* msg =    124, deg =  6 */    124,    636,   1660,   2147,   2277,   2428, 
/* msg =    125, deg =  6 */    125,    637,   1661,   2148,   2278,   2429, 
/* msg =    126, deg =  6 */    126,    638,   1662,   2149,   2279,   2430, 
/* msg =    127, deg =  6 */    127,    639,   1663,   2150,   2280,   2431, 
/* msg =    128, deg =  6 */    128,    640,   1664,   2229,   2378,   2477, 
/* msg =    129, deg =  6 */    129,    641,   1665,   2230,   2379,   2478, 
/* msg =    130, deg =  6 */    130,    642,   1666,   2231,   2380,   2479, 
/* msg =    131, deg =  6 */    131,    643,   1667,   2232,   2381,   2480, 
/* msg =    132, deg =  6 */    132,    644,   1668,   2233,   2382,   2481, 
/* msg =    133, deg =  6 */    133,    645,   1669,   2234,   2383,   2482, 
/* msg =    134, deg =  6 */    134,    646,   1670,   2235,   2384,   2483, 
/* msg =    135, deg =  6 */    135,    647,   1671,   2236,   2385,   2484, 
/* msg =    136, deg =  6 */    136,    648,   1672,   2237,   2386,   2485, 
/* msg =    137, deg =  6 */    137,    649,   1673,   2238,   2387,   2486, 
/* msg =    138, deg =  6 */    138,    650,   1674,   2239,   2388,   2487, 
/* msg =    139, deg =  6 */    139,    651,   1675,   2240,   2389,   2488, 
/* msg =    140, deg =  6 */    140,    652,   1676,   2241,   2390,   2489, 
/* msg =    141, deg =  6 */    141,    653,   1677,   2242,   2391,   2490, 
/* msg =    142, deg =  6 */    142,    654,   1678,   2243,   2392,   2491, 
/* msg =    143, deg =  6 */    143,    655,   1679,   2244,   2393,   2492, 
/* msg =    144, deg =  6 */    144,    656,   1680,   2245,   2394,   2493, 
/* msg =    145, deg =  6 */    145,    657,   1681,   2246,   2395,   2494, 
/* msg =    146, deg =  6 */    146,    658,   1682,   2247,   2396,   2495, 
/* msg =    147, deg =  6 */    147,    659,   1683,   2248,   2397,   2496, 
/* msg =    148, deg =  6 */    148,    660,   1684,   2249,   2398,   2497, 
/* msg =    149, deg =  6 */    149,    661,   1685,   2250,   2399,   2498, 
/* msg =    150, deg =  6 */    150,    662,   1686,   2251,   2400,   2499, 
/* msg =    151, deg =  6 */    151,    663,   1687,   2252,   2401,   2500, 
/* msg =    152, deg =  6 */    152,    664,   1688,   2253,   2402,   2501, 
/* msg =    153, deg =  6 */    153,    665,   1689,   2254,   2403,   2502, 
/* msg =    154, deg =  6 */    154,    666,   1690,   2255,   2404,   2503, 
/* msg =    155, deg =  6 */    155,    667,   1691,   2256,   2405,   2504, 
/* msg =    156, deg =  6 */    156,    668,   1692,   2257,   2406,   2505, 
/* msg =    157, deg =  6 */    157,    669,   1693,   2258,   2407,   2506, 
/* msg =    158, deg =  6 */    158,    670,   1694,   2259,   2408,   2507, 
/* msg =    159, deg =  6 */    159,    671,   1695,   2260,   2409,   2508, 
/* msg =    160, deg =  6 */    160,    672,   1696,   2261,   2410,   2509, 
/* msg =    161, deg =  6 */    161,    673,   1697,   2262,   2411,   2510, 
/* msg =    162, deg =  6 */    162,    674,   1698,   2263,   2412,   2511, 
/* msg =    163, deg =  6 */    163,    675,   1699,   2264,   2413,   2512, 
/* msg =    164, deg =  6 */    164,    676,   1700,   2265,   2414,   2513, 
/* msg =    165, deg =  6 */    165,    677,   1701,   2266,   2415,   2514, 
/* msg =    166, deg =  6 */    166,    678,   1702,   2267,   2416,   2515, 
/* msg =    167, deg =  6 */    167,    679,   1703,   2268,   2417,   2516, 
/* msg =    168, deg =  6 */    168,    680,   1704,   2269,   2418,   2517, 
/* msg =    169, deg =  6 */    169,    681,   1705,   2270,   2419,   2518, 
/* msg =    170, deg =  6 */    170,    682,   1706,   2271,   2420,   2519, 
/* msg =    171, deg =  6 */    171,    683,   1707,   2272,   2421,   2520, 
/* msg =    172, deg =  6 */    172,    684,   1708,   2273,   2422,   2521, 
/* msg =    173, deg =  6 */    173,    685,   1709,   2274,   2423,   2522, 
/* msg =    174, deg =  6 */    174,    686,   1710,   2275,   2424,   2523, 
/* msg =    175, deg =  6 */    175,    687,   1711,   2276,   2425,   2524, 
/* msg =    176, deg =  6 */    176,    688,   1712,   2277,   2426,   2525, 
/* msg =    177, deg =  6 */    177,    689,   1713,   2278,   2427,   2526, 
/* msg =    178, deg =  6 */    178,    690,   1714,   2279,   2428,   2527, 
/* msg =    179, deg =  6 */    179,    691,   1715,   2280,   2429,   2528, 
/* msg =    180, deg =  6 */    180,    692,   1716,   2281,   2430,   2529, 
/* msg =    181, deg =  6 */    181,    693,   1717,   2282,   2431,   2530, 
/* msg =    182, deg =  6 */    182,    694,   1718,   2283,   2304,   2531, 
/* msg =    183, deg =  6 */    183,    695,   1719,   2284,   2305,   2532, 
/* msg =    184, deg =  6 */    184,    696,   1720,   2285,   2306,   2533, 
/* msg =    185, deg =  6 */    185,    697,   1721,   2286,   2307,   2534, 
/* msg =    186, deg =  6 */    186,    698,   1722,   2287,   2308,   2535, 
/* msg =    187, deg =  6 */    187,    699,   1723,   2288,   2309,   2536, 
/* msg =    188, deg =  6 */    188,    700,   1724,   2289,   2310,   2537, 
/* msg =    189, deg =  6 */    189,    701,   1725,   2290,   2311,   2538, 
/* msg =    190, deg =  6 */    190,    702,   1726,   2291,   2312,   2539, 
/* msg =    191, deg =  6 */    191,    703,   1727,   2292,   2313,   2540, 
/* msg =    192, deg =  6 */    192,    704,   1728,   2293,   2314,   2541, 
/* msg =    193, deg =  6 */    193,    705,   1729,   2294,   2315,   2542, 
/* msg =    194, deg =  6 */    194,    706,   1730,   2295,   2316,   2543, 
/* msg =    195, deg =  6 */    195,    707,   1731,   2296,   2317,   2544, 
/* msg =    196, deg =  6 */    196,    708,   1732,   2297,   2318,   2545, 
/* msg =    197, deg =  6 */    197,    709,   1733,   2298,   2319,   2546, 
/* msg =    198, deg =  6 */    198,    710,   1734,   2299,   2320,   2547, 
/* msg =    199, deg =  6 */    199,    711,   1735,   2300,   2321,   2548, 
/* msg =    200, deg =  6 */    200,    712,   1736,   2301,   2322,   2549, 
/* msg =    201, deg =  6 */    201,    713,   1737,   2302,   2323,   2550, 
/* msg =    202, deg =  6 */    202,    714,   1738,   2303,   2324,   2551, 
/* msg =    203, deg =  6 */    203,    715,   1739,   2176,   2325,   2552, 
/* msg =    204, deg =  6 */    204,    716,   1740,   2177,   2326,   2553, 
/* msg =    205, deg =  6 */    205,    717,   1741,   2178,   2327,   2554, 
/* msg =    206, deg =  6 */    206,    718,   1742,   2179,   2328,   2555, 
/* msg =    207, deg =  6 */    207,    719,   1743,   2180,   2329,   2556, 
/* msg =    208, deg =  6 */    208,    720,   1744,   2181,   2330,   2557, 
/* msg =    209, deg =  6 */    209,    721,   1745,   2182,   2331,   2558, 
/* msg =    210, deg =  6 */    210,    722,   1746,   2183,   2332,   2559, 
/* msg =    211, deg =  6 */    211,    723,   1747,   2184,   2333,   2432, 
/* msg =    212, deg =  6 */    212,    724,   1748,   2185,   2334,   2433, 
/* msg =    213, deg =  6 */    213,    725,   1749,   2186,   2335,   2434, 
/* msg =    214, deg =  6 */    214,    726,   1750,   2187,   2336,   2435, 
/* msg =    215, deg =  6 */    215,    727,   1751,   2188,   2337,   2436, 
/* msg =    216, deg =  6 */    216,    728,   1752,   2189,   2338,   2437, 
/* msg =    217, deg =  6 */    217,    729,   1753,   2190,   2339,   2438, 
/* msg =    218, deg =  6 */    218,    730,   1754,   2191,   2340,   2439, 
/* msg =    219, deg =  6 */    219,    731,   1755,   2192,   2341,   2440, 
/* msg =    220, deg =  6 */    220,    732,   1756,   2193,   2342,   2441, 
/* msg =    221, deg =  6 */    221,    733,   1757,   2194,   2343,   2442, 
/* msg =    222, deg =  6 */    222,    734,   1758,   2195,   2344,   2443, 
/* msg =    223, deg =  6 */    223,    735,   1759,   2196,   2345,   2444, 
/* msg =    224, deg =  6 */    224,    736,   1760,   2197,   2346,   2445, 
/* msg =    225, deg =  6 */    225,    737,   1761,   2198,   2347,   2446, 
/* msg =    226, deg =  6 */    226,    738,   1762,   2199,   2348,   2447, 
/* msg =    227, deg =  6 */    227,    739,   1763,   2200,   2349,   2448, 
/* msg =    228, deg =  6 */    228,    740,   1764,   2201,   2350,   2449, 
/* msg =    229, deg =  6 */    229,    741,   1765,   2202,   2351,   2450, 
/* msg =    230, deg =  6 */    230,    742,   1766,   2203,   2352,   2451, 
/* msg =    231, deg =  6 */    231,    743,   1767,   2204,   2353,   2452, 
/* msg =    232, deg =  6 */    232,    744,   1768,   2205,   2354,   2453, 
/* msg =    233, deg =  6 */    233,    745,   1769,   2206,   2355,   2454, 
/* msg =    234, deg =  6 */    234,    746,   1770,   2207,   2356,   2455, 
/* msg =    235, deg =  6 */    235,    747,   1771,   2208,   2357,   2456, 
/* msg =    236, deg =  6 */    236,    748,   1772,   2209,   2358,   2457, 
/* msg =    237, deg =  6 */    237,    749,   1773,   2210,   2359,   2458, 
/* msg =    238, deg =  6 */    238,    750,   1774,   2211,   2360,   2459, 
/* msg =    239, deg =  6 */    239,    751,   1775,   2212,   2361,   2460, 
/* msg =    240, deg =  6 */    240,    752,   1776,   2213,   2362,   2461, 
/* msg =    241, deg =  6 */    241,    753,   1777,   2214,   2363,   2462, 
/* msg =    242, deg =  6 */    242,    754,   1778,   2215,   2364,   2463, 
/* msg =    243, deg =  6 */    243,    755,   1779,   2216,   2365,   2464, 
/* msg =    244, deg =  6 */    244,    756,   1780,   2217,   2366,   2465, 
/* msg =    245, deg =  6 */    245,    757,   1781,   2218,   2367,   2466, 
/* msg =    246, deg =  6 */    246,    758,   1782,   2219,   2368,   2467, 
/* msg =    247, deg =  6 */    247,    759,   1783,   2220,   2369,   2468, 
/* msg =    248, deg =  6 */    248,    760,   1784,   2221,   2370,   2469, 
/* msg =    249, deg =  6 */    249,    761,   1785,   2222,   2371,   2470, 
/* msg =    250, deg =  6 */    250,    762,   1786,   2223,   2372,   2471, 
/* msg =    251, deg =  6 */    251,    763,   1787,   2224,   2373,   2472, 
/* msg =    252, deg =  6 */    252,    764,   1788,   2225,   2374,   2473, 
/* msg =    253, deg =  6 */    253,    765,   1789,   2226,   2375,   2474, 
/* msg =    254, deg =  6 */    254,    766,   1790,   2227,   2376,   2475, 
/* msg =    255, deg =  6 */    255,    767,   1791,   2228,   2377,   2476, 
/* msg =    256, deg =  6 */    256,    768,   1792,   2137,   2312,   2551, 
/* msg =    257, deg =  6 */    257,    769,   1793,   2138,   2313,   2552, 
/* msg =    258, deg =  6 */    258,    770,   1794,   2139,   2314,   2553, 
/* msg =    259, deg =  6 */    259,    771,   1795,   2140,   2315,   2554, 
/* msg =    260, deg =  6 */    260,    772,   1796,   2141,   2316,   2555, 
/* msg =    261, deg =  6 */    261,    773,   1797,   2142,   2317,   2556, 
/* msg =    262, deg =  6 */    262,    774,   1798,   2143,   2318,   2557, 
/* msg =    263, deg =  6 */    263,    775,   1799,   2144,   2319,   2558, 
/* msg =    264, deg =  6 */    264,    776,   1800,   2145,   2320,   2559, 
/* msg =    265, deg =  6 */    265,    777,   1801,   2146,   2321,   2432, 
/* msg =    266, deg =  6 */    266,    778,   1802,   2147,   2322,   2433, 
/* msg =    267, deg =  6 */    267,    779,   1803,   2148,   2323,   2434, 
/* msg =    268, deg =  6 */    268,    780,   1804,   2149,   2324,   2435, 
/* msg =    269, deg =  6 */    269,    781,   1805,   2150,   2325,   2436, 
/* msg =    270, deg =  6 */    270,    782,   1806,   2151,   2326,   2437, 
/* msg =    271, deg =  6 */    271,    783,   1807,   2152,   2327,   2438, 
/* msg =    272, deg =  6 */    272,    784,   1808,   2153,   2328,   2439, 
/* msg =    273, deg =  6 */    273,    785,   1809,   2154,   2329,   2440, 
/* msg =    274, deg =  6 */    274,    786,   1810,   2155,   2330,   2441, 
/* msg =    275, deg =  6 */    275,    787,   1811,   2156,   2331,   2442, 
/* msg =    276, deg =  6 */    276,    788,   1812,   2157,   2332,   2443, 
/* msg =    277, deg =  6 */    277,    789,   1813,   2158,   2333,   2444, 
/* msg =    278, deg =  6 */    278,    790,   1814,   2159,   2334,   2445, 
/* msg =    279, deg =  6 */    279,    791,   1815,   2160,   2335,   2446, 
/* msg =    280, deg =  6 */    280,    792,   1816,   2161,   2336,   2447, 
/* msg =    281, deg =  6 */    281,    793,   1817,   2162,   2337,   2448, 
/* msg =    282, deg =  6 */    282,    794,   1818,   2163,   2338,   2449, 
/* msg =    283, deg =  6 */    283,    795,   1819,   2164,   2339,   2450, 
/* msg =    284, deg =  6 */    284,    796,   1820,   2165,   2340,   2451, 
/* msg =    285, deg =  6 */    285,    797,   1821,   2166,   2341,   2452, 
/* msg =    286, deg =  6 */    286,    798,   1822,   2167,   2342,   2453, 
/* msg =    287, deg =  6 */    287,    799,   1823,   2168,   2343,   2454, 
/* msg =    288, deg =  6 */    288,    800,   1824,   2169,   2344,   2455, 
/* msg =    289, deg =  6 */    289,    801,   1825,   2170,   2345,   2456, 
/* msg =    290, deg =  6 */    290,    802,   1826,   2171,   2346,   2457, 
/* msg =    291, deg =  6 */    291,    803,   1827,   2172,   2347,   2458, 
/* msg =    292, deg =  6 */    292,    804,   1828,   2173,   2348,   2459, 
/* msg =    293, deg =  6 */    293,    805,   1829,   2174,   2349,   2460, 
/* msg =    294, deg =  6 */    294,    806,   1830,   2175,   2350,   2461, 
/* msg =    295, deg =  6 */    295,    807,   1831,   2048,   2351,   2462, 
/* msg =    296, deg =  6 */    296,    808,   1832,   2049,   2352,   2463, 
/* msg =    297, deg =  6 */    297,    809,   1833,   2050,   2353,   2464, 
/* msg =    298, deg =  6 */    298,    810,   1834,   2051,   2354,   2465, 
/* msg =    299, deg =  6 */    299,    811,   1835,   2052,   2355,   2466, 
/* msg =    300, deg =  6 */    300,    812,   1836,   2053,   2356,   2467, 
/* msg =    301, deg =  6 */    301,    813,   1837,   2054,   2357,   2468, 
/* msg =    302, deg =  6 */    302,    814,   1838,   2055,   2358,   2469, 
/* msg =    303, deg =  6 */    303,    815,   1839,   2056,   2359,   2470, 
/* msg =    304, deg =  6 */    304,    816,   1840,   2057,   2360,   2471, 
/* msg =    305, deg =  6 */    305,    817,   1841,   2058,   2361,   2472, 
/* msg =    306, deg =  6 */    306,    818,   1842,   2059,   2362,   2473, 
/* msg =    307, deg =  6 */    307,    819,   1843,   2060,   2363,   2474, 
/* msg =    308, deg =  6 */    308,    820,   1844,   2061,   2364,   2475, 
/* msg =    309, deg =  6 */    309,    821,   1845,   2062,   2365,   2476, 
/* msg =    310, deg =  6 */    310,    822,   1846,   2063,   2366,   2477, 
/* msg =    311, deg =  6 */    311,    823,   1847,   2064,   2367,   2478, 
/* msg =    312, deg =  6 */    312,    824,   1848,   2065,   2368,   2479, 
/* msg =    313, deg =  6 */    313,    825,   1849,   2066,   2369,   2480, 
/* msg =    314, deg =  6 */    314,    826,   1850,   2067,   2370,   2481, 
/* msg =    315, deg =  6 */    315,    827,   1851,   2068,   2371,   2482, 
/* msg =    316, deg =  6 */    316,    828,   1852,   2069,   2372,   2483, 
/* msg =    317, deg =  6 */    317,    829,   1853,   2070,   2373,   2484, 
/* msg =    318, deg =  6 */    318,    830,   1854,   2071,   2374,   2485, 
/* msg =    319, deg =  6 */    319,    831,   1855,   2072,   2375,   2486, 
/* msg =    320, deg =  6 */    320,    832,   1856,   2073,   2376,   2487, 
/* msg =    321, deg =  6 */    321,    833,   1857,   2074,   2377,   2488, 
/* msg =    322, deg =  6 */    322,    834,   1858,   2075,   2378,   2489, 
/* msg =    323, deg =  6 */    323,    835,   1859,   2076,   2379,   2490, 
/* msg =    324, deg =  6 */    324,    836,   1860,   2077,   2380,   2491, 
/* msg =    325, deg =  6 */    325,    837,   1861,   2078,   2381,   2492, 
/* msg =    326, deg =  6 */    326,    838,   1862,   2079,   2382,   2493, 
/* msg =    327, deg =  6 */    327,    839,   1863,   2080,   2383,   2494, 
/* msg =    328, deg =  6 */    328,    840,   1864,   2081,   2384,   2495, 
/* msg =    329, deg =  6 */    329,    841,   1865,   2082,   2385,   2496, 
/* msg =    330, deg =  6 */    330,    842,   1866,   2083,   2386,   2497, 
/* msg =    331, deg =  6 */    331,    843,   1867,   2084,   2387,   2498, 
/* msg =    332, deg =  6 */    332,    844,   1868,   2085,   2388,   2499, 
/* msg =    333, deg =  6 */    333,    845,   1869,   2086,   2389,   2500, 
/* msg =    334, deg =  6 */    334,    846,   1870,   2087,   2390,   2501, 
/* msg =    335, deg =  6 */    335,    847,   1871,   2088,   2391,   2502, 
/* msg =    336, deg =  6 */    336,    848,   1872,   2089,   2392,   2503, 
/* msg =    337, deg =  6 */    337,    849,   1873,   2090,   2393,   2504, 
/* msg =    338, deg =  6 */    338,    850,   1874,   2091,   2394,   2505, 
/* msg =    339, deg =  6 */    339,    851,   1875,   2092,   2395,   2506, 
/* msg =    340, deg =  6 */    340,    852,   1876,   2093,   2396,   2507, 
/* msg =    341, deg =  6 */    341,    853,   1877,   2094,   2397,   2508, 
/* msg =    342, deg =  6 */    342,    854,   1878,   2095,   2398,   2509, 
/* msg =    343, deg =  6 */    343,    855,   1879,   2096,   2399,   2510, 
/* msg =    344, deg =  6 */    344,    856,   1880,   2097,   2400,   2511, 
/* msg =    345, deg =  6 */    345,    857,   1881,   2098,   2401,   2512, 
/* msg =    346, deg =  6 */    346,    858,   1882,   2099,   2402,   2513, 
/* msg =    347, deg =  6 */    347,    859,   1883,   2100,   2403,   2514, 
/* msg =    348, deg =  6 */    348,    860,   1884,   2101,   2404,   2515, 
/* msg =    349, deg =  6 */    349,    861,   1885,   2102,   2405,   2516, 
/* msg =    350, deg =  6 */    350,    862,   1886,   2103,   2406,   2517, 
/* msg =    351, deg =  6 */    351,    863,   1887,   2104,   2407,   2518, 
/* msg =    352, deg =  6 */    352,    864,   1888,   2105,   2408,   2519, 
/* msg =    353, deg =  6 */    353,    865,   1889,   2106,   2409,   2520, 
/* msg =    354, deg =  6 */    354,    866,   1890,   2107,   2410,   2521, 
/* msg =    355, deg =  6 */    355,    867,   1891,   2108,   2411,   2522, 
/* msg =    356, deg =  6 */    356,    868,   1892,   2109,   2412,   2523, 
/* msg =    357, deg =  6 */    357,    869,   1893,   2110,   2413,   2524, 
/* msg =    358, deg =  6 */    358,    870,   1894,   2111,   2414,   2525, 
/* msg =    359, deg =  6 */    359,    871,   1895,   2112,   2415,   2526, 
/* msg =    360, deg =  6 */    360,    872,   1896,   2113,   2416,   2527, 
/* msg =    361, deg =  6 */    361,    873,   1897,   2114,   2417,   2528, 
/* msg =    362, deg =  6 */    362,    874,   1898,   2115,   2418,   2529, 
/* msg =    363, deg =  6 */    363,    875,   1899,   2116,   2419,   2530, 
/* msg =    364, deg =  6 */    364,    876,   1900,   2117,   2420,   2531, 
/* msg =    365, deg =  6 */    365,    877,   1901,   2118,   2421,   2532, 
/* msg =    366, deg =  6 */    366,    878,   1902,   2119,   2422,   2533, 
/* msg =    367, deg =  6 */    367,    879,   1903,   2120,   2423,   2534, 
/* msg =    368, deg =  6 */    368,    880,   1904,   2121,   2424,   2535, 
/* msg =    369, deg =  6 */    369,    881,   1905,   2122,   2425,   2536, 
/* msg =    370, deg =  6 */    370,    882,   1906,   2123,   2426,   2537, 
/* msg =    371, deg =  6 */    371,    883,   1907,   2124,   2427,   2538, 
/* msg =    372, deg =  6 */    372,    884,   1908,   2125,   2428,   2539, 
/* msg =    373, deg =  6 */    373,    885,   1909,   2126,   2429,   2540, 
/* msg =    374, deg =  6 */    374,    886,   1910,   2127,   2430,   2541, 
/* msg =    375, deg =  6 */    375,    887,   1911,   2128,   2431,   2542, 
/* msg =    376, deg =  6 */    376,    888,   1912,   2129,   2304,   2543, 
/* msg =    377, deg =  6 */    377,    889,   1913,   2130,   2305,   2544, 
/* msg =    378, deg =  6 */    378,    890,   1914,   2131,   2306,   2545, 
/* msg =    379, deg =  6 */    379,    891,   1915,   2132,   2307,   2546, 
/* msg =    380, deg =  6 */    380,    892,   1916,   2133,   2308,   2547, 
/* msg =    381, deg =  6 */    381,    893,   1917,   2134,   2309,   2548, 
/* msg =    382, deg =  6 */    382,    894,   1918,   2135,   2310,   2549, 
/* msg =    383, deg =  6 */    383,    895,   1919,   2136,   2311,   2550, 
/* msg =    384, deg =  6 */    384,    896,   1920,   2145,   2288,   2467, 
/* msg =    385, deg =  6 */    385,    897,   1921,   2146,   2289,   2468, 
/* msg =    386, deg =  6 */    386,    898,   1922,   2147,   2290,   2469, 
/* msg =    387, deg =  6 */    387,    899,   1923,   2148,   2291,   2470, 
/* msg =    388, deg =  6 */    388,    900,   1924,   2149,   2292,   2471, 
/* msg =    389, deg =  6 */    389,    901,   1925,   2150,   2293,   2472, 
/* msg =    390, deg =  6 */    390,    902,   1926,   2151,   2294,   2473, 
/* msg =    391, deg =  6 */    391,    903,   1927,   2152,   2295,   2474, 
/* msg =    392, deg =  6 */    392,    904,   1928,   2153,   2296,   2475, 
/* msg =    393, deg =  6 */    393,    905,   1929,   2154,   2297,   2476, 
/* msg =    394, deg =  6 */    394,    906,   1930,   2155,   2298,   2477, 
/* msg =    395, deg =  6 */    395,    907,   1931,   2156,   2299,   2478, 
/* msg =    396, deg =  6 */    396,    908,   1932,   2157,   2300,   2479, 
/* msg =    397, deg =  6 */    397,    909,   1933,   2158,   2301,   2480, 
/* msg =    398, deg =  6 */    398,    910,   1934,   2159,   2302,   2481, 
/* msg =    399, deg =  6 */    399,    911,   1935,   2160,   2303,   2482, 
/* msg =    400, deg =  6 */    400,    912,   1936,   2161,   2176,   2483, 
/* msg =    401, deg =  6 */    401,    913,   1937,   2162,   2177,   2484, 
/* msg =    402, deg =  6 */    402,    914,   1938,   2163,   2178,   2485, 
/* msg =    403, deg =  6 */    403,    915,   1939,   2164,   2179,   2486, 
/* msg =    404, deg =  6 */    404,    916,   1940,   2165,   2180,   2487, 
/* msg =    405, deg =  6 */    405,    917,   1941,   2166,   2181,   2488, 
/* msg =    406, deg =  6 */    406,    918,   1942,   2167,   2182,   2489, 
/* msg =    407, deg =  6 */    407,    919,   1943,   2168,   2183,   2490, 
/* msg =    408, deg =  6 */    408,    920,   1944,   2169,   2184,   2491, 
/* msg =    409, deg =  6 */    409,    921,   1945,   2170,   2185,   2492, 
/* msg =    410, deg =  6 */    410,    922,   1946,   2171,   2186,   2493, 
/* msg =    411, deg =  6 */    411,    923,   1947,   2172,   2187,   2494, 
/* msg =    412, deg =  6 */    412,    924,   1948,   2173,   2188,   2495, 
/* msg =    413, deg =  6 */    413,    925,   1949,   2174,   2189,   2496, 
/* msg =    414, deg =  6 */    414,    926,   1950,   2175,   2190,   2497, 
/* msg =    415, deg =  6 */    415,    927,   1951,   2048,   2191,   2498, 
/* msg =    416, deg =  6 */    416,    928,   1952,   2049,   2192,   2499, 
/* msg =    417, deg =  6 */    417,    929,   1953,   2050,   2193,   2500, 
/* msg =    418, deg =  6 */    418,    930,   1954,   2051,   2194,   2501, 
/* msg =    419, deg =  6 */    419,    931,   1955,   2052,   2195,   2502, 
/* msg =    420, deg =  6 */    420,    932,   1956,   2053,   2196,   2503, 
/* msg =    421, deg =  6 */    421,    933,   1957,   2054,   2197,   2504, 
/* msg =    422, deg =  6 */    422,    934,   1958,   2055,   2198,   2505, 
/* msg =    423, deg =  6 */    423,    935,   1959,   2056,   2199,   2506, 
/* msg =    424, deg =  6 */    424,    936,   1960,   2057,   2200,   2507, 
/* msg =    425, deg =  6 */    425,    937,   1961,   2058,   2201,   2508, 
/* msg =    426, deg =  6 */    426,    938,   1962,   2059,   2202,   2509, 
/* msg =    427, deg =  6 */    427,    939,   1963,   2060,   2203,   2510, 
/* msg =    428, deg =  6 */    428,    940,   1964,   2061,   2204,   2511, 
/* msg =    429, deg =  6 */    429,    941,   1965,   2062,   2205,   2512, 
/* msg =    430, deg =  6 */    430,    942,   1966,   2063,   2206,   2513, 
/* msg =    431, deg =  6 */    431,    943,   1967,   2064,   2207,   2514, 
/* msg =    432, deg =  6 */    432,    944,   1968,   2065,   2208,   2515, 
/* msg =    433, deg =  6 */    433,    945,   1969,   2066,   2209,   2516, 
/* msg =    434, deg =  6 */    434,    946,   1970,   2067,   2210,   2517, 
/* msg =    435, deg =  6 */    435,    947,   1971,   2068,   2211,   2518, 
/* msg =    436, deg =  6 */    436,    948,   1972,   2069,   2212,   2519, 
/* msg =    437, deg =  6 */    437,    949,   1973,   2070,   2213,   2520, 
/* msg =    438, deg =  6 */    438,    950,   1974,   2071,   2214,   2521, 
/* msg =    439, deg =  6 */    439,    951,   1975,   2072,   2215,   2522, 
/* msg =    440, deg =  6 */    440,    952,   1976,   2073,   2216,   2523, 
/* msg =    441, deg =  6 */    441,    953,   1977,   2074,   2217,   2524, 
/* msg =    442, deg =  6 */    442,    954,   1978,   2075,   2218,   2525, 
/* msg =    443, deg =  6 */    443,    955,   1979,   2076,   2219,   2526, 
/* msg =    444, deg =  6 */    444,    956,   1980,   2077,   2220,   2527, 
/* msg =    445, deg =  6 */    445,    957,   1981,   2078,   2221,   2528, 
/* msg =    446, deg =  6 */    446,    958,   1982,   2079,   2222,   2529, 
/* msg =    447, deg =  6 */    447,    959,   1983,   2080,   2223,   2530, 
/* msg =    448, deg =  6 */    448,    960,   1984,   2081,   2224,   2531, 
/* msg =    449, deg =  6 */    449,    961,   1985,   2082,   2225,   2532, 
/* msg =    450, deg =  6 */    450,    962,   1986,   2083,   2226,   2533, 
/* msg =    451, deg =  6 */    451,    963,   1987,   2084,   2227,   2534, 
/* msg =    452, deg =  6 */    452,    964,   1988,   2085,   2228,   2535, 
/* msg =    453, deg =  6 */    453,    965,   1989,   2086,   2229,   2536, 
/* msg =    454, deg =  6 */    454,    966,   1990,   2087,   2230,   2537, 
/* msg =    455, deg =  6 */    455,    967,   1991,   2088,   2231,   2538, 
/* msg =    456, deg =  6 */    456,    968,   1992,   2089,   2232,   2539, 
/* msg =    457, deg =  6 */    457,    969,   1993,   2090,   2233,   2540, 
/* msg =    458, deg =  6 */    458,    970,   1994,   2091,   2234,   2541, 
/* msg =    459, deg =  6 */    459,    971,   1995,   2092,   2235,   2542, 
/* msg =    460, deg =  6 */    460,    972,   1996,   2093,   2236,   2543, 
/* msg =    461, deg =  6 */    461,    973,   1997,   2094,   2237,   2544, 
/* msg =    462, deg =  6 */    462,    974,   1998,   2095,   2238,   2545, 
/* msg =    463, deg =  6 */    463,    975,   1999,   2096,   2239,   2546, 
/* msg =    464, deg =  6 */    464,    976,   2000,   2097,   2240,   2547, 
/* msg =    465, deg =  6 */    465,    977,   2001,   2098,   2241,   2548, 
/* msg =    466, deg =  6 */    466,    978,   2002,   2099,   2242,   2549, 
/* msg =    467, deg =  6 */    467,    979,   2003,   2100,   2243,   2550, 
/* msg =    468, deg =  6 */    468,    980,   2004,   2101,   2244,   2551, 
/* msg =    469, deg =  6 */    469,    981,   2005,   2102,   2245,   2552, 
/* msg =    470, deg =  6 */    470,    982,   2006,   2103,   2246,   2553, 
/* msg =    471, deg =  6 */    471,    983,   2007,   2104,   2247,   2554, 
/* msg =    472, deg =  6 */    472,    984,   2008,   2105,   2248,   2555, 
/* msg =    473, deg =  6 */    473,    985,   2009,   2106,   2249,   2556, 
/* msg =    474, deg =  6 */    474,    986,   2010,   2107,   2250,   2557, 
/* msg =    475, deg =  6 */    475,    987,   2011,   2108,   2251,   2558, 
/* msg =    476, deg =  6 */    476,    988,   2012,   2109,   2252,   2559, 
/* msg =    477, deg =  6 */    477,    989,   2013,   2110,   2253,   2432, 
/* msg =    478, deg =  6 */    478,    990,   2014,   2111,   2254,   2433, 
/* msg =    479, deg =  6 */    479,    991,   2015,   2112,   2255,   2434, 
/* msg =    480, deg =  6 */    480,    992,   2016,   2113,   2256,   2435, 
/* msg =    481, deg =  6 */    481,    993,   2017,   2114,   2257,   2436, 
/* msg =    482, deg =  6 */    482,    994,   2018,   2115,   2258,   2437, 
/* msg =    483, deg =  6 */    483,    995,   2019,   2116,   2259,   2438, 
/* msg =    484, deg =  6 */    484,    996,   2020,   2117,   2260,   2439, 
/* msg =    485, deg =  6 */    485,    997,   2021,   2118,   2261,   2440, 
/* msg =    486, deg =  6 */    486,    998,   2022,   2119,   2262,   2441, 
/* msg =    487, deg =  6 */    487,    999,   2023,   2120,   2263,   2442, 
/* msg =    488, deg =  6 */    488,   1000,   2024,   2121,   2264,   2443, 
/* msg =    489, deg =  6 */    489,   1001,   2025,   2122,   2265,   2444, 
/* msg =    490, deg =  6 */    490,   1002,   2026,   2123,   2266,   2445, 
/* msg =    491, deg =  6 */    491,   1003,   2027,   2124,   2267,   2446, 
/* msg =    492, deg =  6 */    492,   1004,   2028,   2125,   2268,   2447, 
/* msg =    493, deg =  6 */    493,   1005,   2029,   2126,   2269,   2448, 
/* msg =    494, deg =  6 */    494,   1006,   2030,   2127,   2270,   2449, 
/* msg =    495, deg =  6 */    495,   1007,   2031,   2128,   2271,   2450, 
/* msg =    496, deg =  6 */    496,   1008,   2032,   2129,   2272,   2451, 
/* msg =    497, deg =  6 */    497,   1009,   2033,   2130,   2273,   2452, 
/* msg =    498, deg =  6 */    498,   1010,   2034,   2131,   2274,   2453, 
/* msg =    499, deg =  6 */    499,   1011,   2035,   2132,   2275,   2454, 
/* msg =    500, deg =  6 */    500,   1012,   2036,   2133,   2276,   2455, 
/* msg =    501, deg =  6 */    501,   1013,   2037,   2134,   2277,   2456, 
/* msg =    502, deg =  6 */    502,   1014,   2038,   2135,   2278,   2457, 
/* msg =    503, deg =  6 */    503,   1015,   2039,   2136,   2279,   2458, 
/* msg =    504, deg =  6 */    504,   1016,   2040,   2137,   2280,   2459, 
/* msg =    505, deg =  6 */    505,   1017,   2041,   2138,   2281,   2460, 
/* msg =    506, deg =  6 */    506,   1018,   2042,   2139,   2282,   2461, 
/* msg =    507, deg =  6 */    507,   1019,   2043,   2140,   2283,   2462, 
/* msg =    508, deg =  6 */    508,   1020,   2044,   2141,   2284,   2463, 
/* msg =    509, deg =  6 */    509,   1021,   2045,   2142,   2285,   2464, 
/* msg =    510, deg =  6 */    510,   1022,   2046,   2143,   2286,   2465, 
/* msg =    511, deg =  6 */    511,   1023,   2047,   2144,   2287,   2466, 
/* msg =    512, deg =  6 */      0,    818,    925,   1651,   1694,   2048, 
/* msg =    513, deg =  6 */      1,    819,    926,   1652,   1695,   2049, 
/* msg =    514, deg =  6 */      2,    820,    927,   1653,   1696,   2050, 
/* msg =    515, deg =  6 */      3,    821,    928,   1654,   1697,   2051, 
/* msg =    516, deg =  6 */      4,    822,    929,   1655,   1698,   2052, 
/* msg =    517, deg =  6 */      5,    823,    930,   1656,   1699,   2053, 
/* msg =    518, deg =  6 */      6,    824,    931,   1657,   1700,   2054, 
/* msg =    519, deg =  6 */      7,    825,    932,   1658,   1701,   2055, 
/* msg =    520, deg =  6 */      8,    826,    933,   1659,   1702,   2056, 
/* msg =    521, deg =  6 */      9,    827,    934,   1660,   1703,   2057, 
/* msg =    522, deg =  6 */     10,    828,    935,   1661,   1704,   2058, 
/* msg =    523, deg =  6 */     11,    829,    936,   1662,   1705,   2059, 
/* msg =    524, deg =  6 */     12,    830,    937,   1663,   1706,   2060, 
/* msg =    525, deg =  6 */     13,    831,    938,   1536,   1707,   2061, 
/* msg =    526, deg =  6 */     14,    832,    939,   1537,   1708,   2062, 
/* msg =    527, deg =  6 */     15,    833,    940,   1538,   1709,   2063, 
/* msg =    528, deg =  6 */     16,    834,    941,   1539,   1710,   2064, 
/* msg =    529, deg =  6 */     17,    835,    942,   1540,   1711,   2065, 
/* msg =    530, deg =  6 */     18,    836,    943,   1541,   1712,   2066, 
/* msg =    531, deg =  6 */     19,    837,    944,   1542,   1713,   2067, 
/* msg =    532, deg =  6 */     20,    838,    945,   1543,   1714,   2068, 
/* msg =    533, deg =  6 */     21,    839,    946,   1544,   1715,   2069, 
/* msg =    534, deg =  6 */     22,    840,    947,   1545,   1716,   2070, 
/* msg =    535, deg =  6 */     23,    841,    948,   1546,   1717,   2071, 
/* msg =    536, deg =  6 */     24,    842,    949,   1547,   1718,   2072, 
/* msg =    537, deg =  6 */     25,    843,    950,   1548,   1719,   2073, 
/* msg =    538, deg =  6 */     26,    844,    951,   1549,   1720,   2074, 
/* msg =    539, deg =  6 */     27,    845,    952,   1550,   1721,   2075, 
/* msg =    540, deg =  6 */     28,    846,    953,   1551,   1722,   2076, 
/* msg =    541, deg =  6 */     29,    847,    954,   1552,   1723,   2077, 
/* msg =    542, deg =  6 */     30,    848,    955,   1553,   1724,   2078, 
/* msg =    543, deg =  6 */     31,    849,    956,   1554,   1725,   2079, 
/* msg =    544, deg =  6 */     32,    850,    957,   1555,   1726,   2080, 
/* msg =    545, deg =  6 */     33,    851,    958,   1556,   1727,   2081, 
/* msg =    546, deg =  6 */     34,    852,    959,   1557,   1728,   2082, 
/* msg =    547, deg =  6 */     35,    853,    960,   1558,   1729,   2083, 
/* msg =    548, deg =  6 */     36,    854,    961,   1559,   1730,   2084, 
/* msg =    549, deg =  6 */     37,    855,    962,   1560,   1731,   2085, 
/* msg =    550, deg =  6 */     38,    856,    963,   1561,   1732,   2086, 
/* msg =    551, deg =  6 */     39,    857,    964,   1562,   1733,   2087, 
/* msg =    552, deg =  6 */     40,    858,    965,   1563,   1734,   2088, 
/* msg =    553, deg =  6 */     41,    859,    966,   1564,   1735,   2089, 
/* msg =    554, deg =  6 */     42,    860,    967,   1565,   1736,   2090, 
/* msg =    555, deg =  6 */     43,    861,    968,   1566,   1737,   2091, 
/* msg =    556, deg =  6 */     44,    862,    969,   1567,   1738,   2092, 
/* msg =    557, deg =  6 */     45,    863,    970,   1568,   1739,   2093, 
/* msg =    558, deg =  6 */     46,    864,    971,   1569,   1740,   2094, 
/* msg =    559, deg =  6 */     47,    865,    972,   1570,   1741,   2095, 
/* msg =    560, deg =  6 */     48,    866,    973,   1571,   1742,   2096, 
/* msg =    561, deg =  6 */     49,    867,    974,   1572,   1743,   2097, 
/* msg =    562, deg =  6 */     50,    868,    975,   1573,   1744,   2098, 
/* msg =    563, deg =  6 */     51,    869,    976,   1574,   1745,   2099, 
/* msg =    564, deg =  6 */     52,    870,    977,   1575,   1746,   2100, 
/* msg =    565, deg =  6 */     53,    871,    978,   1576,   1747,   2101, 
/* msg =    566, deg =  6 */     54,    872,    979,   1577,   1748,   2102, 
/* msg =    567, deg =  6 */     55,    873,    980,   1578,   1749,   2103, 
/* msg =    568, deg =  6 */     56,    874,    981,   1579,   1750,   2104, 
/* msg =    569, deg =  6 */     57,    875,    982,   1580,   1751,   2105, 
/* msg =    570, deg =  6 */     58,    876,    983,   1581,   1752,   2106, 
/* msg =    571, deg =  6 */     59,    877,    984,   1582,   1753,   2107, 
/* msg =    572, deg =  6 */     60,    878,    985,   1583,   1754,   2108, 
/* msg =    573, deg =  6 */     61,    879,    986,   1584,   1755,   2109, 
/* msg =    574, deg =  6 */     62,    880,    987,   1585,   1756,   2110, 
/* msg =    575, deg =  6 */     63,    881,    988,   1586,   1757,   2111, 
/* msg =    576, deg =  6 */     64,    882,    989,   1587,   1758,   2112, 
/* msg =    577, deg =  6 */     65,    883,    990,   1588,   1759,   2113, 
/* msg =    578, deg =  6 */     66,    884,    991,   1589,   1760,   2114, 
/* msg =    579, deg =  6 */     67,    885,    992,   1590,   1761,   2115, 
/* msg =    580, deg =  6 */     68,    886,    993,   1591,   1762,   2116, 
/* msg =    581, deg =  6 */     69,    887,    994,   1592,   1763,   2117, 
/* msg =    582, deg =  6 */     70,    888,    995,   1593,   1764,   2118, 
/* msg =    583, deg =  6 */     71,    889,    996,   1594,   1765,   2119, 
/* msg =    584, deg =  6 */     72,    890,    997,   1595,   1766,   2120, 
/* msg =    585, deg =  6 */     73,    891,    998,   1596,   1767,   2121, 
/* msg =    586, deg =  6 */     74,    892,    999,   1597,   1768,   2122, 
/* msg =    587, deg =  6 */     75,    893,   1000,   1598,   1769,   2123, 
/* msg =    588, deg =  6 */     76,    894,   1001,   1599,   1770,   2124, 
/* msg =    589, deg =  6 */     77,    895,   1002,   1600,   1771,   2125, 
/* msg =    590, deg =  6 */     78,    768,   1003,   1601,   1772,   2126, 
/* msg =    591, deg =  6 */     79,    769,   1004,   1602,   1773,   2127, 
/* msg =    592, deg =  6 */     80,    770,   1005,   1603,   1774,   2128, 
/* msg =    593, deg =  6 */     81,    771,   1006,   1604,   1775,   2129, 
/* msg =    594, deg =  6 */     82,    772,   1007,   1605,   1776,   2130, 
/* msg =    595, deg =  6 */     83,    773,   1008,   1606,   1777,   2131, 
/* msg =    596, deg =  6 */     84,    774,   1009,   1607,   1778,   2132, 
/* msg =    597, deg =  6 */     85,    775,   1010,   1608,   1779,   2133, 
/* msg =    598, deg =  6 */     86,    776,   1011,   1609,   1780,   2134, 
/* msg =    599, deg =  6 */     87,    777,   1012,   1610,   1781,   2135, 
/* msg =    600, deg =  6 */     88,    778,   1013,   1611,   1782,   2136, 
/* msg =    601, deg =  6 */     89,    779,   1014,   1612,   1783,   2137, 
/* msg =    602, deg =  6 */     90,    780,   1015,   1613,   1784,   2138, 
/* msg =    603, deg =  6 */     91,    781,   1016,   1614,   1785,   2139, 
/* msg =    604, deg =  6 */     92,    782,   1017,   1615,   1786,   2140, 
/* msg =    605, deg =  6 */     93,    783,   1018,   1616,   1787,   2141, 
/* msg =    606, deg =  6 */     94,    784,   1019,   1617,   1788,   2142, 
/* msg =    607, deg =  6 */     95,    785,   1020,   1618,   1789,   2143, 
/* msg =    608, deg =  6 */     96,    786,   1021,   1619,   1790,   2144, 
/* msg =    609, deg =  6 */     97,    787,   1022,   1620,   1791,   2145, 
/* msg =    610, deg =  6 */     98,    788,   1023,   1621,   1664,   2146, 
/* msg =    611, deg =  6 */     99,    789,    896,   1622,   1665,   2147, 
/* msg =    612, deg =  6 */    100,    790,    897,   1623,   1666,   2148, 
/* msg =    613, deg =  6 */    101,    791,    898,   1624,   1667,   2149, 
/* msg =    614, deg =  6 */    102,    792,    899,   1625,   1668,   2150, 
/* msg =    615, deg =  6 */    103,    793,    900,   1626,   1669,   2151, 
/* msg =    616, deg =  6 */    104,    794,    901,   1627,   1670,   2152, 
/* msg =    617, deg =  6 */    105,    795,    902,   1628,   1671,   2153, 
/* msg =    618, deg =  6 */    106,    796,    903,   1629,   1672,   2154, 
/* msg =    619, deg =  6 */    107,    797,    904,   1630,   1673,   2155, 
/* msg =    620, deg =  6 */    108,    798,    905,   1631,   1674,   2156, 
/* msg =    621, deg =  6 */    109,    799,    906,   1632,   1675,   2157, 
/* msg =    622, deg =  6 */    110,    800,    907,   1633,   1676,   2158, 
/* msg =    623, deg =  6 */    111,    801,    908,   1634,   1677,   2159, 
/* msg =    624, deg =  6 */    112,    802,    909,   1635,   1678,   2160, 
/* msg =    625, deg =  6 */    113,    803,    910,   1636,   1679,   2161, 
/* msg =    626, deg =  6 */    114,    804,    911,   1637,   1680,   2162, 
/* msg =    627, deg =  6 */    115,    805,    912,   1638,   1681,   2163, 
/* msg =    628, deg =  6 */    116,    806,    913,   1639,   1682,   2164, 
/* msg =    629, deg =  6 */    117,    807,    914,   1640,   1683,   2165, 
/* msg =    630, deg =  6 */    118,    808,    915,   1641,   1684,   2166, 
/* msg =    631, deg =  6 */    119,    809,    916,   1642,   1685,   2167, 
/* msg =    632, deg =  6 */    120,    810,    917,   1643,   1686,   2168, 
/* msg =    633, deg =  6 */    121,    811,    918,   1644,   1687,   2169, 
/* msg =    634, deg =  6 */    122,    812,    919,   1645,   1688,   2170, 
/* msg =    635, deg =  6 */    123,    813,    920,   1646,   1689,   2171, 
/* msg =    636, deg =  6 */    124,    814,    921,   1647,   1690,   2172, 
/* msg =    637, deg =  6 */    125,    815,    922,   1648,   1691,   2173, 
/* msg =    638, deg =  6 */    126,    816,    923,   1649,   1692,   2174, 
/* msg =    639, deg =  6 */    127,    817,    924,   1650,   1693,   2175, 
/* msg =    640, deg =  6 */    128,    512,    943,   1723,   1894,   2176, 
/* msg =    641, deg =  6 */    129,    513,    944,   1724,   1895,   2177, 
/* msg =    642, deg =  6 */    130,    514,    945,   1725,   1896,   2178, 
/* msg =    643, deg =  6 */    131,    515,    946,   1726,   1897,   2179, 
/* msg =    644, deg =  6 */    132,    516,    947,   1727,   1898,   2180, 
/* msg =    645, deg =  6 */    133,    517,    948,   1728,   1899,   2181, 
/* msg =    646, deg =  6 */    134,    518,    949,   1729,   1900,   2182, 
/* msg =    647, deg =  6 */    135,    519,    950,   1730,   1901,   2183, 
/* msg =    648, deg =  6 */    136,    520,    951,   1731,   1902,   2184, 
/* msg =    649, deg =  6 */    137,    521,    952,   1732,   1903,   2185, 
/* msg =    650, deg =  6 */    138,    522,    953,   1733,   1904,   2186, 
/* msg =    651, deg =  6 */    139,    523,    954,   1734,   1905,   2187, 
/* msg =    652, deg =  6 */    140,    524,    955,   1735,   1906,   2188, 
/* msg =    653, deg =  6 */    141,    525,    956,   1736,   1907,   2189, 
/* msg =    654, deg =  6 */    142,    526,    957,   1737,   1908,   2190, 
/* msg =    655, deg =  6 */    143,    527,    958,   1738,   1909,   2191, 
/* msg =    656, deg =  6 */    144,    528,    959,   1739,   1910,   2192, 
/* msg =    657, deg =  6 */    145,    529,    960,   1740,   1911,   2193, 
/* msg =    658, deg =  6 */    146,    530,    961,   1741,   1912,   2194, 
/* msg =    659, deg =  6 */    147,    531,    962,   1742,   1913,   2195, 
/* msg =    660, deg =  6 */    148,    532,    963,   1743,   1914,   2196, 
/* msg =    661, deg =  6 */    149,    533,    964,   1744,   1915,   2197, 
/* msg =    662, deg =  6 */    150,    534,    965,   1745,   1916,   2198, 
/* msg =    663, deg =  6 */    151,    535,    966,   1746,   1917,   2199, 
/* msg =    664, deg =  6 */    152,    536,    967,   1747,   1918,   2200, 
/* msg =    665, deg =  6 */    153,    537,    968,   1748,   1919,   2201, 
/* msg =    666, deg =  6 */    154,    538,    969,   1749,   1792,   2202, 
/* msg =    667, deg =  6 */    155,    539,    970,   1750,   1793,   2203, 
/* msg =    668, deg =  6 */    156,    540,    971,   1751,   1794,   2204, 
/* msg =    669, deg =  6 */    157,    541,    972,   1752,   1795,   2205, 
/* msg =    670, deg =  6 */    158,    542,    973,   1753,   1796,   2206, 
/* msg =    671, deg =  6 */    159,    543,    974,   1754,   1797,   2207, 
/* msg =    672, deg =  6 */    160,    544,    975,   1755,   1798,   2208, 
/* msg =    673, deg =  6 */    161,    545,    976,   1756,   1799,   2209, 
/* msg =    674, deg =  6 */    162,    546,    977,   1757,   1800,   2210, 
/* msg =    675, deg =  6 */    163,    547,    978,   1758,   1801,   2211, 
/* msg =    676, deg =  6 */    164,    548,    979,   1759,   1802,   2212, 
/* msg =    677, deg =  6 */    165,    549,    980,   1760,   1803,   2213, 
/* msg =    678, deg =  6 */    166,    550,    981,   1761,   1804,   2214, 
/* msg =    679, deg =  6 */    167,    551,    982,   1762,   1805,   2215, 
/* msg =    680, deg =  6 */    168,    552,    983,   1763,   1806,   2216, 
/* msg =    681, deg =  6 */    169,    553,    984,   1764,   1807,   2217, 
/* msg =    682, deg =  6 */    170,    554,    985,   1765,   1808,   2218, 
/* msg =    683, deg =  6 */    171,    555,    986,   1766,   1809,   2219, 
/* msg =    684, deg =  6 */    172,    556,    987,   1767,   1810,   2220, 
/* msg =    685, deg =  6 */    173,    557,    988,   1768,   1811,   2221, 
/* msg =    686, deg =  6 */    174,    558,    989,   1769,   1812,   2222, 
/* msg =    687, deg =  6 */    175,    559,    990,   1770,   1813,   2223, 
/* msg =    688, deg =  6 */    176,    560,    991,   1771,   1814,   2224, 
/* msg =    689, deg =  6 */    177,    561,    992,   1772,   1815,   2225, 
/* msg =    690, deg =  6 */    178,    562,    993,   1773,   1816,   2226, 
/* msg =    691, deg =  6 */    179,    563,    994,   1774,   1817,   2227, 
/* msg =    692, deg =  6 */    180,    564,    995,   1775,   1818,   2228, 
/* msg =    693, deg =  6 */    181,    565,    996,   1776,   1819,   2229, 
/* msg =    694, deg =  6 */    182,    566,    997,   1777,   1820,   2230, 
/* msg =    695, deg =  6 */    183,    567,    998,   1778,   1821,   2231, 
/* msg =    696, deg =  6 */    184,    568,    999,   1779,   1822,   2232, 
/* msg =    697, deg =  6 */    185,    569,   1000,   1780,   1823,   2233, 
/* msg =    698, deg =  6 */    186,    570,   1001,   1781,   1824,   2234, 
/* msg =    699, deg =  6 */    187,    571,   1002,   1782,   1825,   2235, 
/* msg =    700, deg =  6 */    188,    572,   1003,   1783,   1826,   2236, 
/* msg =    701, deg =  6 */    189,    573,   1004,   1784,   1827,   2237, 
/* msg =    702, deg =  6 */    190,    574,   1005,   1785,   1828,   2238, 
/* msg =    703, deg =  6 */    191,    575,   1006,   1786,   1829,   2239, 
/* msg =    704, deg =  6 */    192,    576,   1007,   1787,   1830,   2240, 
/* msg =    705, deg =  6 */    193,    577,   1008,   1788,   1831,   2241, 
/* msg =    706, deg =  6 */    194,    578,   1009,   1789,   1832,   2242, 
/* msg =    707, deg =  6 */    195,    579,   1010,   1790,   1833,   2243, 
/* msg =    708, deg =  6 */    196,    580,   1011,   1791,   1834,   2244, 
/* msg =    709, deg =  6 */    197,    581,   1012,   1664,   1835,   2245, 
/* msg =    710, deg =  6 */    198,    582,   1013,   1665,   1836,   2246, 
/* msg =    711, deg =  6 */    199,    583,   1014,   1666,   1837,   2247, 
/* msg =    712, deg =  6 */    200,    584,   1015,   1667,   1838,   2248, 
/* msg =    713, deg =  6 */    201,    585,   1016,   1668,   1839,   2249, 
/* msg =    714, deg =  6 */    202,    586,   1017,   1669,   1840,   2250, 
/* msg =    715, deg =  6 */    203,    587,   1018,   1670,   1841,   2251, 
/* msg =    716, deg =  6 */    204,    588,   1019,   1671,   1842,   2252, 
/* msg =    717, deg =  6 */    205,    589,   1020,   1672,   1843,   2253, 
/* msg =    718, deg =  6 */    206,    590,   1021,   1673,   1844,   2254, 
/* msg =    719, deg =  6 */    207,    591,   1022,   1674,   1845,   2255, 
/* msg =    720, deg =  6 */    208,    592,   1023,   1675,   1846,   2256, 
/* msg =    721, deg =  6 */    209,    593,    896,   1676,   1847,   2257, 
/* msg =    722, deg =  6 */    210,    594,    897,   1677,   1848,   2258, 
/* msg =    723, deg =  6 */    211,    595,    898,   1678,   1849,   2259, 
/* msg =    724, deg =  6 */    212,    596,    899,   1679,   1850,   2260, 
/* msg =    725, deg =  6 */    213,    597,    900,   1680,   1851,   2261, 
/* msg =    726, deg =  6 */    214,    598,    901,   1681,   1852,   2262, 
/* msg =    727, deg =  6 */    215,    599,    902,   1682,   1853,   2263, 
/* msg =    728, deg =  6 */    216,    600,    903,   1683,   1854,   2264, 
/* msg =    729, deg =  6 */    217,    601,    904,   1684,   1855,   2265, 
/* msg =    730, deg =  6 */    218,    602,    905,   1685,   1856,   2266, 
/* msg =    731, deg =  6 */    219,    603,    906,   1686,   1857,   2267, 
/* msg =    732, deg =  6 */    220,    604,    907,   1687,   1858,   2268, 
/* msg =    733, deg =  6 */    221,    605,    908,   1688,   1859,   2269, 
/* msg =    734, deg =  6 */    222,    606,    909,   1689,   1860,   2270, 
/* msg =    735, deg =  6 */    223,    607,    910,   1690,   1861,   2271, 
/* msg =    736, deg =  6 */    224,    608,    911,   1691,   1862,   2272, 
/* msg =    737, deg =  6 */    225,    609,    912,   1692,   1863,   2273, 
/* msg =    738, deg =  6 */    226,    610,    913,   1693,   1864,   2274, 
/* msg =    739, deg =  6 */    227,    611,    914,   1694,   1865,   2275, 
/* msg =    740, deg =  6 */    228,    612,    915,   1695,   1866,   2276, 
/* msg =    741, deg =  6 */    229,    613,    916,   1696,   1867,   2277, 
/* msg =    742, deg =  6 */    230,    614,    917,   1697,   1868,   2278, 
/* msg =    743, deg =  6 */    231,    615,    918,   1698,   1869,   2279, 
/* msg =    744, deg =  6 */    232,    616,    919,   1699,   1870,   2280, 
/* msg =    745, deg =  6 */    233,    617,    920,   1700,   1871,   2281, 
/* msg =    746, deg =  6 */    234,    618,    921,   1701,   1872,   2282, 
/* msg =    747, deg =  6 */    235,    619,    922,   1702,   1873,   2283, 
/* msg =    748, deg =  6 */    236,    620,    923,   1703,   1874,   2284, 
/* msg =    749, deg =  6 */    237,    621,    924,   1704,   1875,   2285, 
/* msg =    750, deg =  6 */    238,    622,    925,   1705,   1876,   2286, 
/* msg =    751, deg =  6 */    239,    623,    926,   1706,   1877,   2287, 
/* msg =    752, deg =  6 */    240,    624,    927,   1707,   1878,   2288, 
/* msg =    753, deg =  6 */    241,    625,    928,   1708,   1879,   2289, 
/* msg =    754, deg =  6 */    242,    626,    929,   1709,   1880,   2290, 
/* msg =    755, deg =  6 */    243,    627,    930,   1710,   1881,   2291, 
/* msg =    756, deg =  6 */    244,    628,    931,   1711,   1882,   2292, 
/* msg =    757, deg =  6 */    245,    629,    932,   1712,   1883,   2293, 
/* msg =    758, deg =  6 */    246,    630,    933,   1713,   1884,   2294, 
/* msg =    759, deg =  6 */    247,    631,    934,   1714,   1885,   2295, 
/* msg =    760, deg =  6 */    248,    632,    935,   1715,   1886,   2296, 
/* msg =    761, deg =  6 */    249,    633,    936,   1716,   1887,   2297, 
/* msg =    762, deg =  6 */    250,    634,    937,   1717,   1888,   2298, 
/* msg =    763, deg =  6 */    251,    635,    938,   1718,   1889,   2299, 
/* msg =    764, deg =  6 */    252,    636,    939,   1719,   1890,   2300, 
/* msg =    765, deg =  6 */    253,    637,    940,   1720,   1891,   2301, 
/* msg =    766, deg =  6 */    254,    638,    941,   1721,   1892,   2302, 
/* msg =    767, deg =  6 */    255,    639,    942,   1722,   1893,   2303, 
/* msg =    768, deg =  6 */    256,    543,    762,   1793,   1989,   2304, 
/* msg =    769, deg =  6 */    257,    544,    763,   1794,   1990,   2305, 
/* msg =    770, deg =  6 */    258,    545,    764,   1795,   1991,   2306, 
/* msg =    771, deg =  6 */    259,    546,    765,   1796,   1992,   2307, 
/* msg =    772, deg =  6 */    260,    547,    766,   1797,   1993,   2308, 
/* msg =    773, deg =  6 */    261,    548,    767,   1798,   1994,   2309, 
/* msg =    774, deg =  6 */    262,    549,    640,   1799,   1995,   2310, 
/* msg =    775, deg =  6 */    263,    550,    641,   1800,   1996,   2311, 
/* msg =    776, deg =  6 */    264,    551,    642,   1801,   1997,   2312, 
/* msg =    777, deg =  6 */    265,    552,    643,   1802,   1998,   2313, 
/* msg =    778, deg =  6 */    266,    553,    644,   1803,   1999,   2314, 
/* msg =    779, deg =  6 */    267,    554,    645,   1804,   2000,   2315, 
/* msg =    780, deg =  6 */    268,    555,    646,   1805,   2001,   2316, 
/* msg =    781, deg =  6 */    269,    556,    647,   1806,   2002,   2317, 
/* msg =    782, deg =  6 */    270,    557,    648,   1807,   2003,   2318, 
/* msg =    783, deg =  6 */    271,    558,    649,   1808,   2004,   2319, 
/* msg =    784, deg =  6 */    272,    559,    650,   1809,   2005,   2320, 
/* msg =    785, deg =  6 */    273,    560,    651,   1810,   2006,   2321, 
/* msg =    786, deg =  6 */    274,    561,    652,   1811,   2007,   2322, 
/* msg =    787, deg =  6 */    275,    562,    653,   1812,   2008,   2323, 
/* msg =    788, deg =  6 */    276,    563,    654,   1813,   2009,   2324, 
/* msg =    789, deg =  6 */    277,    564,    655,   1814,   2010,   2325, 
/* msg =    790, deg =  6 */    278,    565,    656,   1815,   2011,   2326, 
/* msg =    791, deg =  6 */    279,    566,    657,   1816,   2012,   2327, 
/* msg =    792, deg =  6 */    280,    567,    658,   1817,   2013,   2328, 
/* msg =    793, deg =  6 */    281,    568,    659,   1818,   2014,   2329, 
/* msg =    794, deg =  6 */    282,    569,    660,   1819,   2015,   2330, 
/* msg =    795, deg =  6 */    283,    570,    661,   1820,   2016,   2331, 
/* msg =    796, deg =  6 */    284,    571,    662,   1821,   2017,   2332, 
/* msg =    797, deg =  6 */    285,    572,    663,   1822,   2018,   2333, 
/* msg =    798, deg =  6 */    286,    573,    664,   1823,   2019,   2334, 
/* msg =    799, deg =  6 */    287,    574,    665,   1824,   2020,   2335, 
/* msg =    800, deg =  6 */    288,    575,    666,   1825,   2021,   2336, 
/* msg =    801, deg =  6 */    289,    576,    667,   1826,   2022,   2337, 
/* msg =    802, deg =  6 */    290,    577,    668,   1827,   2023,   2338, 
/* msg =    803, deg =  6 */    291,    578,    669,   1828,   2024,   2339, 
/* msg =    804, deg =  6 */    292,    579,    670,   1829,   2025,   2340, 
/* msg =    805, deg =  6 */    293,    580,    671,   1830,   2026,   2341, 
/* msg =    806, deg =  6 */    294,    581,    672,   1831,   2027,   2342, 
/* msg =    807, deg =  6 */    295,    582,    673,   1832,   2028,   2343, 
/* msg =    808, deg =  6 */    296,    583,    674,   1833,   2029,   2344, 
/* msg =    809, deg =  6 */    297,    584,    675,   1834,   2030,   2345, 
/* msg =    810, deg =  6 */    298,    585,    676,   1835,   2031,   2346, 
/* msg =    811, deg =  6 */    299,    586,    677,   1836,   2032,   2347, 
/* msg =    812, deg =  6 */    300,    587,    678,   1837,   2033,   2348, 
/* msg =    813, deg =  6 */    301,    588,    679,   1838,   2034,   2349, 
/* msg =    814, deg =  6 */    302,    589,    680,   1839,   2035,   2350, 
/* msg =    815, deg =  6 */    303,    590,    681,   1840,   2036,   2351, 
/* msg =    816, deg =  6 */    304,    591,    682,   1841,   2037,   2352, 
/* msg =    817, deg =  6 */    305,    592,    683,   1842,   2038,   2353, 
/* msg =    818, deg =  6 */    306,    593,    684,   1843,   2039,   2354, 
/* msg =    819, deg =  6 */    307,    594,    685,   1844,   2040,   2355, 
/* msg =    820, deg =  6 */    308,    595,    686,   1845,   2041,   2356, 
/* msg =    821, deg =  6 */    309,    596,    687,   1846,   2042,   2357, 
/* msg =    822, deg =  6 */    310,    597,    688,   1847,   2043,   2358, 
/* msg =    823, deg =  6 */    311,    598,    689,   1848,   2044,   2359, 
/* msg =    824, deg =  6 */    312,    599,    690,   1849,   2045,   2360, 
/* msg =    825, deg =  6 */    313,    600,    691,   1850,   2046,   2361, 
/* msg =    826, deg =  6 */    314,    601,    692,   1851,   2047,   2362, 
/* msg =    827, deg =  6 */    315,    602,    693,   1852,   1920,   2363, 
/* msg =    828, deg =  6 */    316,    603,    694,   1853,   1921,   2364, 
/* msg =    829, deg =  6 */    317,    604,    695,   1854,   1922,   2365, 
/* msg =    830, deg =  6 */    318,    605,    696,   1855,   1923,   2366, 
/* msg =    831, deg =  6 */    319,    606,    697,   1856,   1924,   2367, 
/* msg =    832, deg =  6 */    320,    607,    698,   1857,   1925,   2368, 
/* msg =    833, deg =  6 */    321,    608,    699,   1858,   1926,   2369, 
/* msg =    834, deg =  6 */    322,    609,    700,   1859,   1927,   2370, 
/* msg =    835, deg =  6 */    323,    610,    701,   1860,   1928,   2371, 
/* msg =    836, deg =  6 */    324,    611,    702,   1861,   1929,   2372, 
/* msg =    837, deg =  6 */    325,    612,    703,   1862,   1930,   2373, 
/* msg =    838, deg =  6 */    326,    613,    704,   1863,   1931,   2374, 
/* msg =    839, deg =  6 */    327,    614,    705,   1864,   1932,   2375, 
/* msg =    840, deg =  6 */    328,    615,    706,   1865,   1933,   2376, 
/* msg =    841, deg =  6 */    329,    616,    707,   1866,   1934,   2377, 
/* msg =    842, deg =  6 */    330,    617,    708,   1867,   1935,   2378, 
/* msg =    843, deg =  6 */    331,    618,    709,   1868,   1936,   2379, 
/* msg =    844, deg =  6 */    332,    619,    710,   1869,   1937,   2380, 
/* msg =    845, deg =  6 */    333,    620,    711,   1870,   1938,   2381, 
/* msg =    846, deg =  6 */    334,    621,    712,   1871,   1939,   2382, 
/* msg =    847, deg =  6 */    335,    622,    713,   1872,   1940,   2383, 
/* msg =    848, deg =  6 */    336,    623,    714,   1873,   1941,   2384, 
/* msg =    849, deg =  6 */    337,    624,    715,   1874,   1942,   2385, 
/* msg =    850, deg =  6 */    338,    625,    716,   1875,   1943,   2386, 
/* msg =    851, deg =  6 */    339,    626,    717,   1876,   1944,   2387, 
/* msg =    852, deg =  6 */    340,    627,    718,   1877,   1945,   2388, 
/* msg =    853, deg =  6 */    341,    628,    719,   1878,   1946,   2389, 
/* msg =    854, deg =  6 */    342,    629,    720,   1879,   1947,   2390, 
/* msg =    855, deg =  6 */    343,    630,    721,   1880,   1948,   2391, 
/* msg =    856, deg =  6 */    344,    631,    722,   1881,   1949,   2392, 
/* msg =    857, deg =  6 */    345,    632,    723,   1882,   1950,   2393, 
/* msg =    858, deg =  6 */    346,    633,    724,   1883,   1951,   2394, 
/* msg =    859, deg =  6 */    347,    634,    725,   1884,   1952,   2395, 
/* msg =    860, deg =  6 */    348,    635,    726,   1885,   1953,   2396, 
/* msg =    861, deg =  6 */    349,    636,    727,   1886,   1954,   2397, 
/* msg =    862, deg =  6 */    350,    637,    728,   1887,   1955,   2398, 
/* msg =    863, deg =  6 */    351,    638,    729,   1888,   1956,   2399, 
/* msg =    864, deg =  6 */    352,    639,    730,   1889,   1957,   2400, 
/* msg =    865, deg =  6 */    353,    512,    731,   1890,   1958,   2401, 
/* msg =    866, deg =  6 */    354,    513,    732,   1891,   1959,   2402, 
/* msg =    867, deg =  6 */    355,    514,    733,   1892,   1960,   2403, 
/* msg =    868, deg =  6 */    356,    515,    734,   1893,   1961,   2404, 
/* msg =    869, deg =  6 */    357,    516,    735,   1894,   1962,   2405, 
/* msg =    870, deg =  6 */    358,    517,    736,   1895,   1963,   2406, 
/* msg =    871, deg =  6 */    359,    518,    737,   1896,   1964,   2407, 
/* msg =    872, deg =  6 */    360,    519,    738,   1897,   1965,   2408, 
/* msg =    873, deg =  6 */    361,    520,    739,   1898,   1966,   2409, 
/* msg =    874, deg =  6 */    362,    521,    740,   1899,   1967,   2410, 
/* msg =    875, deg =  6 */    363,    522,    741,   1900,   1968,   2411, 
/* msg =    876, deg =  6 */    364,    523,    742,   1901,   1969,   2412, 
/* msg =    877, deg =  6 */    365,    524,    743,   1902,   1970,   2413, 
/* msg =    878, deg =  6 */    366,    525,    744,   1903,   1971,   2414, 
/* msg =    879, deg =  6 */    367,    526,    745,   1904,   1972,   2415, 
/* msg =    880, deg =  6 */    368,    527,    746,   1905,   1973,   2416, 
/* msg =    881, deg =  6 */    369,    528,    747,   1906,   1974,   2417, 
/* msg =    882, deg =  6 */    370,    529,    748,   1907,   1975,   2418, 
/* msg =    883, deg =  6 */    371,    530,    749,   1908,   1976,   2419, 
/* msg =    884, deg =  6 */    372,    531,    750,   1909,   1977,   2420, 
/* msg =    885, deg =  6 */    373,    532,    751,   1910,   1978,   2421, 
/* msg =    886, deg =  6 */    374,    533,    752,   1911,   1979,   2422, 
/* msg =    887, deg =  6 */    375,    534,    753,   1912,   1980,   2423, 
/* msg =    888, deg =  6 */    376,    535,    754,   1913,   1981,   2424, 
/* msg =    889, deg =  6 */    377,    536,    755,   1914,   1982,   2425, 
/* msg =    890, deg =  6 */    378,    537,    756,   1915,   1983,   2426, 
/* msg =    891, deg =  6 */    379,    538,    757,   1916,   1984,   2427, 
/* msg =    892, deg =  6 */    380,    539,    758,   1917,   1985,   2428, 
/* msg =    893, deg =  6 */    381,    540,    759,   1918,   1986,   2429, 
/* msg =    894, deg =  6 */    382,    541,    760,   1919,   1987,   2430, 
/* msg =    895, deg =  6 */    383,    542,    761,   1792,   1988,   2431, 
/* msg =    896, deg =  6 */    384,    704,    861,   1630,   2019,   2432, 
/* msg =    897, deg =  6 */    385,    705,    862,   1631,   2020,   2433, 
/* msg =    898, deg =  6 */    386,    706,    863,   1632,   2021,   2434, 
/* msg =    899, deg =  6 */    387,    707,    864,   1633,   2022,   2435, 
/* msg =    900, deg =  6 */    388,    708,    865,   1634,   2023,   2436, 
/* msg =    901, deg =  6 */    389,    709,    866,   1635,   2024,   2437, 
/* msg =    902, deg =  6 */    390,    710,    867,   1636,   2025,   2438, 
/* msg =    903, deg =  6 */    391,    711,    868,   1637,   2026,   2439, 
/* msg =    904, deg =  6 */    392,    712,    869,   1638,   2027,   2440, 
/* msg =    905, deg =  6 */    393,    713,    870,   1639,   2028,   2441, 
/* msg =    906, deg =  6 */    394,    714,    871,   1640,   2029,   2442, 
/* msg =    907, deg =  6 */    395,    715,    872,   1641,   2030,   2443, 
/* msg =    908, deg =  6 */    396,    716,    873,   1642,   2031,   2444, 
/* msg =    909, deg =  6 */    397,    717,    874,   1643,   2032,   2445, 
/* msg =    910, deg =  6 */    398,    718,    875,   1644,   2033,   2446, 
/* msg =    911, deg =  6 */    399,    719,    876,   1645,   2034,   2447, 
/* msg =    912, deg =  6 */    400,    720,    877,   1646,   2035,   2448, 
/* msg =    913, deg =  6 */    401,    721,    878,   1647,   2036,   2449, 
/* msg =    914, deg =  6 */    402,    722,    879,   1648,   2037,   2450, 
/* msg =    915, deg =  6 */    403,    723,    880,   1649,   2038,   2451, 
/* msg =    916, deg =  6 */    404,    724,    881,   1650,   2039,   2452, 
/* msg =    917, deg =  6 */    405,    725,    882,   1651,   2040,   2453, 
/* msg =    918, deg =  6 */    406,    726,    883,   1652,   2041,   2454, 
/* msg =    919, deg =  6 */    407,    727,    884,   1653,   2042,   2455, 
/* msg =    920, deg =  6 */    408,    728,    885,   1654,   2043,   2456, 
/* msg =    921, deg =  6 */    409,    729,    886,   1655,   2044,   2457, 
/* msg =    922, deg =  6 */    410,    730,    887,   1656,   2045,   2458, 
/* msg =    923, deg =  6 */    411,    731,    888,   1657,   2046,   2459, 
/* msg =    924, deg =  6 */    412,    732,    889,   1658,   2047,   2460, 
/* msg =    925, deg =  6 */    413,    733,    890,   1659,   1920,   2461, 
/* msg =    926, deg =  6 */    414,    734,    891,   1660,   1921,   2462, 
/* msg =    927, deg =  6 */    415,    735,    892,   1661,   1922,   2463, 
/* msg =    928, deg =  6 */    416,    736,    893,   1662,   1923,   2464, 
/* msg =    929, deg =  6 */    417,    737,    894,   1663,   1924,   2465, 
/* msg =    930, deg =  6 */    418,    738,    895,   1536,   1925,   2466, 
/* msg =    931, deg =  6 */    419,    739,    768,   1537,   1926,   2467, 
/* msg =    932, deg =  6 */    420,    740,    769,   1538,   1927,   2468, 
/* msg =    933, deg =  6 */    421,    741,    770,   1539,   1928,   2469, 
/* msg =    934, deg =  6 */    422,    742,    771,   1540,   1929,   2470, 
/* msg =    935, deg =  6 */    423,    743,    772,   1541,   1930,   2471, 
/* msg =    936, deg =  6 */    424,    744,    773,   1542,   1931,   2472, 
/* msg =    937, deg =  6 */    425,    745,    774,   1543,   1932,   2473, 
/* msg =    938, deg =  6 */    426,    746,    775,   1544,   1933,   2474, 
/* msg =    939, deg =  6 */    427,    747,    776,   1545,   1934,   2475, 
/* msg =    940, deg =  6 */    428,    748,    777,   1546,   1935,   2476, 
/* msg =    941, deg =  6 */    429,    749,    778,   1547,   1936,   2477, 
/* msg =    942, deg =  6 */    430,    750,    779,   1548,   1937,   2478, 
/* msg =    943, deg =  6 */    431,    751,    780,   1549,   1938,   2479, 
/* msg =    944, deg =  6 */    432,    752,    781,   1550,   1939,   2480, 
/* msg =    945, deg =  6 */    433,    753,    782,   1551,   1940,   2481, 
/* msg =    946, deg =  6 */    434,    754,    783,   1552,   1941,   2482, 
/* msg =    947, deg =  6 */    435,    755,    784,   1553,   1942,   2483, 
/* msg =    948, deg =  6 */    436,    756,    785,   1554,   1943,   2484, 
/* msg =    949, deg =  6 */    437,    757,    786,   1555,   1944,   2485, 
/* msg =    950, deg =  6 */    438,    758,    787,   1556,   1945,   2486, 
/* msg =    951, deg =  6 */    439,    759,    788,   1557,   1946,   2487, 
/* msg =    952, deg =  6 */    440,    760,    789,   1558,   1947,   2488, 
/* msg =    953, deg =  6 */    441,    761,    790,   1559,   1948,   2489, 
/* msg =    954, deg =  6 */    442,    762,    791,   1560,   1949,   2490, 
/* msg =    955, deg =  6 */    443,    763,    792,   1561,   1950,   2491, 
/* msg =    956, deg =  6 */    444,    764,    793,   1562,   1951,   2492, 
/* msg =    957, deg =  6 */    445,    765,    794,   1563,   1952,   2493, 
/* msg =    958, deg =  6 */    446,    766,    795,   1564,   1953,   2494, 
/* msg =    959, deg =  6 */    447,    767,    796,   1565,   1954,   2495, 
/* msg =    960, deg =  6 */    448,    640,    797,   1566,   1955,   2496, 
/* msg =    961, deg =  6 */    449,    641,    798,   1567,   1956,   2497, 
/* msg =    962, deg =  6 */    450,    642,    799,   1568,   1957,   2498, 
/* msg =    963, deg =  6 */    451,    643,    800,   1569,   1958,   2499, 
/* msg =    964, deg =  6 */    452,    644,    801,   1570,   1959,   2500, 
/* msg =    965, deg =  6 */    453,    645,    802,   1571,   1960,   2501, 
/* msg =    966, deg =  6 */    454,    646,    803,   1572,   1961,   2502, 
/* msg =    967, deg =  6 */    455,    647,    804,   1573,   1962,   2503, 
/* msg =    968, deg =  6 */    456,    648,    805,   1574,   1963,   2504, 
/* msg =    969, deg =  6 */    457,    649,    806,   1575,   1964,   2505, 
/* msg =    970, deg =  6 */    458,    650,    807,   1576,   1965,   2506, 
/* msg =    971, deg =  6 */    459,    651,    808,   1577,   1966,   2507, 
/* msg =    972, deg =  6 */    460,    652,    809,   1578,   1967,   2508, 
/* msg =    973, deg =  6 */    461,    653,    810,   1579,   1968,   2509, 
/* msg =    974, deg =  6 */    462,    654,    811,   1580,   1969,   2510, 
/* msg =    975, deg =  6 */    463,    655,    812,   1581,   1970,   2511, 
/* msg =    976, deg =  6 */    464,    656,    813,   1582,   1971,   2512, 
/* msg =    977, deg =  6 */    465,    657,    814,   1583,   1972,   2513, 
/* msg =    978, deg =  6 */    466,    658,    815,   1584,   1973,   2514, 
/* msg =    979, deg =  6 */    467,    659,    816,   1585,   1974,   2515, 
/* msg =    980, deg =  6 */    468,    660,    817,   1586,   1975,   2516, 
/* msg =    981, deg =  6 */    469,    661,    818,   1587,   1976,   2517, 
/* msg =    982, deg =  6 */    470,    662,    819,   1588,   1977,   2518, 
/* msg =    983, deg =  6 */    471,    663,    820,   1589,   1978,   2519, 
/* msg =    984, deg =  6 */    472,    664,    821,   1590,   1979,   2520, 
/* msg =    985, deg =  6 */    473,    665,    822,   1591,   1980,   2521, 
/* msg =    986, deg =  6 */    474,    666,    823,   1592,   1981,   2522, 
/* msg =    987, deg =  6 */    475,    667,    824,   1593,   1982,   2523, 
/* msg =    988, deg =  6 */    476,    668,    825,   1594,   1983,   2524, 
/* msg =    989, deg =  6 */    477,    669,    826,   1595,   1984,   2525, 
/* msg =    990, deg =  6 */    478,    670,    827,   1596,   1985,   2526, 
/* msg =    991, deg =  6 */    479,    671,    828,   1597,   1986,   2527, 
/* msg =    992, deg =  6 */    480,    672,    829,   1598,   1987,   2528, 
/* msg =    993, deg =  6 */    481,    673,    830,   1599,   1988,   2529, 
/* msg =    994, deg =  6 */    482,    674,    831,   1600,   1989,   2530, 
/* msg =    995, deg =  6 */    483,    675,    832,   1601,   1990,   2531, 
/* msg =    996, deg =  6 */    484,    676,    833,   1602,   1991,   2532, 
/* msg =    997, deg =  6 */    485,    677,    834,   1603,   1992,   2533, 
/* msg =    998, deg =  6 */    486,    678,    835,   1604,   1993,   2534, 
/* msg =    999, deg =  6 */    487,    679,    836,   1605,   1994,   2535, 
/* msg =   1000, deg =  6 */    488,    680,    837,   1606,   1995,   2536, 
/* msg =   1001, deg =  6 */    489,    681,    838,   1607,   1996,   2537, 
/* msg =   1002, deg =  6 */    490,    682,    839,   1608,   1997,   2538, 
/* msg =   1003, deg =  6 */    491,    683,    840,   1609,   1998,   2539, 
/* msg =   1004, deg =  6 */    492,    684,    841,   1610,   1999,   2540, 
/* msg =   1005, deg =  6 */    493,    685,    842,   1611,   2000,   2541, 
/* msg =   1006, deg =  6 */    494,    686,    843,   1612,   2001,   2542, 
/* msg =   1007, deg =  6 */    495,    687,    844,   1613,   2002,   2543, 
/* msg =   1008, deg =  6 */    496,    688,    845,   1614,   2003,   2544, 
/* msg =   1009, deg =  6 */    497,    689,    846,   1615,   2004,   2545, 
/* msg =   1010, deg =  6 */    498,    690,    847,   1616,   2005,   2546, 
/* msg =   1011, deg =  6 */    499,    691,    848,   1617,   2006,   2547, 
/* msg =   1012, deg =  6 */    500,    692,    849,   1618,   2007,   2548, 
/* msg =   1013, deg =  6 */    501,    693,    850,   1619,   2008,   2549, 
/* msg =   1014, deg =  6 */    502,    694,    851,   1620,   2009,   2550, 
/* msg =   1015, deg =  6 */    503,    695,    852,   1621,   2010,   2551, 
/* msg =   1016, deg =  6 */    504,    696,    853,   1622,   2011,   2552, 
/* msg =   1017, deg =  6 */    505,    697,    854,   1623,   2012,   2553, 
/* msg =   1018, deg =  6 */    506,    698,    855,   1624,   2013,   2554, 
/* msg =   1019, deg =  6 */    507,    699,    856,   1625,   2014,   2555, 
/* msg =   1020, deg =  6 */    508,    700,    857,   1626,   2015,   2556, 
/* msg =   1021, deg =  6 */    509,    701,    858,   1627,   2016,   2557, 
/* msg =   1022, deg =  6 */    510,    702,    859,   1628,   2017,   2558, 
/* msg =   1023, deg =  6 */    511,    703,    860,   1629,   2018,   2559, 
/* msg =   1024, deg =  3 */   1024,   2048,   2448, 
/* msg =   1025, deg =  3 */   1025,   2049,   2449, 
/* msg =   1026, deg =  3 */   1026,   2050,   2450, 
/* msg =   1027, deg =  3 */   1027,   2051,   2451, 
/* msg =   1028, deg =  3 */   1028,   2052,   2452, 
/* msg =   1029, deg =  3 */   1029,   2053,   2453, 
/* msg =   1030, deg =  3 */   1030,   2054,   2454, 
/* msg =   1031, deg =  3 */   1031,   2055,   2455, 
/* msg =   1032, deg =  3 */   1032,   2056,   2456, 
/* msg =   1033, deg =  3 */   1033,   2057,   2457, 
/* msg =   1034, deg =  3 */   1034,   2058,   2458, 
/* msg =   1035, deg =  3 */   1035,   2059,   2459, 
/* msg =   1036, deg =  3 */   1036,   2060,   2460, 
/* msg =   1037, deg =  3 */   1037,   2061,   2461, 
/* msg =   1038, deg =  3 */   1038,   2062,   2462, 
/* msg =   1039, deg =  3 */   1039,   2063,   2463, 
/* msg =   1040, deg =  3 */   1040,   2064,   2464, 
/* msg =   1041, deg =  3 */   1041,   2065,   2465, 
/* msg =   1042, deg =  3 */   1042,   2066,   2466, 
/* msg =   1043, deg =  3 */   1043,   2067,   2467, 
/* msg =   1044, deg =  3 */   1044,   2068,   2468, 
/* msg =   1045, deg =  3 */   1045,   2069,   2469, 
/* msg =   1046, deg =  3 */   1046,   2070,   2470, 
/* msg =   1047, deg =  3 */   1047,   2071,   2471, 
/* msg =   1048, deg =  3 */   1048,   2072,   2472, 
/* msg =   1049, deg =  3 */   1049,   2073,   2473, 
/* msg =   1050, deg =  3 */   1050,   2074,   2474, 
/* msg =   1051, deg =  3 */   1051,   2075,   2475, 
/* msg =   1052, deg =  3 */   1052,   2076,   2476, 
/* msg =   1053, deg =  3 */   1053,   2077,   2477, 
/* msg =   1054, deg =  3 */   1054,   2078,   2478, 
/* msg =   1055, deg =  3 */   1055,   2079,   2479, 
/* msg =   1056, deg =  3 */   1056,   2080,   2480, 
/* msg =   1057, deg =  3 */   1057,   2081,   2481, 
/* msg =   1058, deg =  3 */   1058,   2082,   2482, 
/* msg =   1059, deg =  3 */   1059,   2083,   2483, 
/* msg =   1060, deg =  3 */   1060,   2084,   2484, 
/* msg =   1061, deg =  3 */   1061,   2085,   2485, 
/* msg =   1062, deg =  3 */   1062,   2086,   2486, 
/* msg =   1063, deg =  3 */   1063,   2087,   2487, 
/* msg =   1064, deg =  3 */   1064,   2088,   2488, 
/* msg =   1065, deg =  3 */   1065,   2089,   2489, 
/* msg =   1066, deg =  3 */   1066,   2090,   2490, 
/* msg =   1067, deg =  3 */   1067,   2091,   2491, 
/* msg =   1068, deg =  3 */   1068,   2092,   2492, 
/* msg =   1069, deg =  3 */   1069,   2093,   2493, 
/* msg =   1070, deg =  3 */   1070,   2094,   2494, 
/* msg =   1071, deg =  3 */   1071,   2095,   2495, 
/* msg =   1072, deg =  3 */   1072,   2096,   2496, 
/* msg =   1073, deg =  3 */   1073,   2097,   2497, 
/* msg =   1074, deg =  3 */   1074,   2098,   2498, 
/* msg =   1075, deg =  3 */   1075,   2099,   2499, 
/* msg =   1076, deg =  3 */   1076,   2100,   2500, 
/* msg =   1077, deg =  3 */   1077,   2101,   2501, 
/* msg =   1078, deg =  3 */   1078,   2102,   2502, 
/* msg =   1079, deg =  3 */   1079,   2103,   2503, 
/* msg =   1080, deg =  3 */   1080,   2104,   2504, 
/* msg =   1081, deg =  3 */   1081,   2105,   2505, 
/* msg =   1082, deg =  3 */   1082,   2106,   2506, 
/* msg =   1083, deg =  3 */   1083,   2107,   2507, 
/* msg =   1084, deg =  3 */   1084,   2108,   2508, 
/* msg =   1085, deg =  3 */   1085,   2109,   2509, 
/* msg =   1086, deg =  3 */   1086,   2110,   2510, 
/* msg =   1087, deg =  3 */   1087,   2111,   2511, 
/* msg =   1088, deg =  3 */   1088,   2112,   2512, 
/* msg =   1089, deg =  3 */   1089,   2113,   2513, 
/* msg =   1090, deg =  3 */   1090,   2114,   2514, 
/* msg =   1091, deg =  3 */   1091,   2115,   2515, 
/* msg =   1092, deg =  3 */   1092,   2116,   2516, 
/* msg =   1093, deg =  3 */   1093,   2117,   2517, 
/* msg =   1094, deg =  3 */   1094,   2118,   2518, 
/* msg =   1095, deg =  3 */   1095,   2119,   2519, 
/* msg =   1096, deg =  3 */   1096,   2120,   2520, 
/* msg =   1097, deg =  3 */   1097,   2121,   2521, 
/* msg =   1098, deg =  3 */   1098,   2122,   2522, 
/* msg =   1099, deg =  3 */   1099,   2123,   2523, 
/* msg =   1100, deg =  3 */   1100,   2124,   2524, 
/* msg =   1101, deg =  3 */   1101,   2125,   2525, 
/* msg =   1102, deg =  3 */   1102,   2126,   2526, 
/* msg =   1103, deg =  3 */   1103,   2127,   2527, 
/* msg =   1104, deg =  3 */   1104,   2128,   2528, 
/* msg =   1105, deg =  3 */   1105,   2129,   2529, 
/* msg =   1106, deg =  3 */   1106,   2130,   2530, 
/* msg =   1107, deg =  3 */   1107,   2131,   2531, 
/* msg =   1108, deg =  3 */   1108,   2132,   2532, 
/* msg =   1109, deg =  3 */   1109,   2133,   2533, 
/* msg =   1110, deg =  3 */   1110,   2134,   2534, 
/* msg =   1111, deg =  3 */   1111,   2135,   2535, 
/* msg =   1112, deg =  3 */   1112,   2136,   2536, 
/* msg =   1113, deg =  3 */   1113,   2137,   2537, 
/* msg =   1114, deg =  3 */   1114,   2138,   2538, 
/* msg =   1115, deg =  3 */   1115,   2139,   2539, 
/* msg =   1116, deg =  3 */   1116,   2140,   2540, 
/* msg =   1117, deg =  3 */   1117,   2141,   2541, 
/* msg =   1118, deg =  3 */   1118,   2142,   2542, 
/* msg =   1119, deg =  3 */   1119,   2143,   2543, 
/* msg =   1120, deg =  3 */   1120,   2144,   2544, 
/* msg =   1121, deg =  3 */   1121,   2145,   2545, 
/* msg =   1122, deg =  3 */   1122,   2146,   2546, 
/* msg =   1123, deg =  3 */   1123,   2147,   2547, 
/* msg =   1124, deg =  3 */   1124,   2148,   2548, 
/* msg =   1125, deg =  3 */   1125,   2149,   2549, 
/* msg =   1126, deg =  3 */   1126,   2150,   2550, 
/* msg =   1127, deg =  3 */   1127,   2151,   2551, 
/* msg =   1128, deg =  3 */   1128,   2152,   2552, 
/* msg =   1129, deg =  3 */   1129,   2153,   2553, 
/* msg =   1130, deg =  3 */   1130,   2154,   2554, 
/* msg =   1131, deg =  3 */   1131,   2155,   2555, 
/* msg =   1132, deg =  3 */   1132,   2156,   2556, 
/* msg =   1133, deg =  3 */   1133,   2157,   2557, 
/* msg =   1134, deg =  3 */   1134,   2158,   2558, 
/* msg =   1135, deg =  3 */   1135,   2159,   2559, 
/* msg =   1136, deg =  3 */   1136,   2160,   2432, 
/* msg =   1137, deg =  3 */   1137,   2161,   2433, 
/* msg =   1138, deg =  3 */   1138,   2162,   2434, 
/* msg =   1139, deg =  3 */   1139,   2163,   2435, 
/* msg =   1140, deg =  3 */   1140,   2164,   2436, 
/* msg =   1141, deg =  3 */   1141,   2165,   2437, 
/* msg =   1142, deg =  3 */   1142,   2166,   2438, 
/* msg =   1143, deg =  3 */   1143,   2167,   2439, 
/* msg =   1144, deg =  3 */   1144,   2168,   2440, 
/* msg =   1145, deg =  3 */   1145,   2169,   2441, 
/* msg =   1146, deg =  3 */   1146,   2170,   2442, 
/* msg =   1147, deg =  3 */   1147,   2171,   2443, 
/* msg =   1148, deg =  3 */   1148,   2172,   2444, 
/* msg =   1149, deg =  3 */   1149,   2173,   2445, 
/* msg =   1150, deg =  3 */   1150,   2174,   2446, 
/* msg =   1151, deg =  3 */   1151,   2175,   2447, 
/* msg =   1152, deg =  3 */   1152,   2048,   2176, 
/* msg =   1153, deg =  3 */   1153,   2049,   2177, 
/* msg =   1154, deg =  3 */   1154,   2050,   2178, 
/* msg =   1155, deg =  3 */   1155,   2051,   2179, 
/* msg =   1156, deg =  3 */   1156,   2052,   2180, 
/* msg =   1157, deg =  3 */   1157,   2053,   2181, 
/* msg =   1158, deg =  3 */   1158,   2054,   2182, 
/* msg =   1159, deg =  3 */   1159,   2055,   2183, 
/* msg =   1160, deg =  3 */   1160,   2056,   2184, 
/* msg =   1161, deg =  3 */   1161,   2057,   2185, 
/* msg =   1162, deg =  3 */   1162,   2058,   2186, 
/* msg =   1163, deg =  3 */   1163,   2059,   2187, 
/* msg =   1164, deg =  3 */   1164,   2060,   2188, 
/* msg =   1165, deg =  3 */   1165,   2061,   2189, 
/* msg =   1166, deg =  3 */   1166,   2062,   2190, 
/* msg =   1167, deg =  3 */   1167,   2063,   2191, 
/* msg =   1168, deg =  3 */   1168,   2064,   2192, 
/* msg =   1169, deg =  3 */   1169,   2065,   2193, 
/* msg =   1170, deg =  3 */   1170,   2066,   2194, 
/* msg =   1171, deg =  3 */   1171,   2067,   2195, 
/* msg =   1172, deg =  3 */   1172,   2068,   2196, 
/* msg =   1173, deg =  3 */   1173,   2069,   2197, 
/* msg =   1174, deg =  3 */   1174,   2070,   2198, 
/* msg =   1175, deg =  3 */   1175,   2071,   2199, 
/* msg =   1176, deg =  3 */   1176,   2072,   2200, 
/* msg =   1177, deg =  3 */   1177,   2073,   2201, 
/* msg =   1178, deg =  3 */   1178,   2074,   2202, 
/* msg =   1179, deg =  3 */   1179,   2075,   2203, 
/* msg =   1180, deg =  3 */   1180,   2076,   2204, 
/* msg =   1181, deg =  3 */   1181,   2077,   2205, 
/* msg =   1182, deg =  3 */   1182,   2078,   2206, 
/* msg =   1183, deg =  3 */   1183,   2079,   2207, 
/* msg =   1184, deg =  3 */   1184,   2080,   2208, 
/* msg =   1185, deg =  3 */   1185,   2081,   2209, 
/* msg =   1186, deg =  3 */   1186,   2082,   2210, 
/* msg =   1187, deg =  3 */   1187,   2083,   2211, 
/* msg =   1188, deg =  3 */   1188,   2084,   2212, 
/* msg =   1189, deg =  3 */   1189,   2085,   2213, 
/* msg =   1190, deg =  3 */   1190,   2086,   2214, 
/* msg =   1191, deg =  3 */   1191,   2087,   2215, 
/* msg =   1192, deg =  3 */   1192,   2088,   2216, 
/* msg =   1193, deg =  3 */   1193,   2089,   2217, 
/* msg =   1194, deg =  3 */   1194,   2090,   2218, 
/* msg =   1195, deg =  3 */   1195,   2091,   2219, 
/* msg =   1196, deg =  3 */   1196,   2092,   2220, 
/* msg =   1197, deg =  3 */   1197,   2093,   2221, 
/* msg =   1198, deg =  3 */   1198,   2094,   2222, 
/* msg =   1199, deg =  3 */   1199,   2095,   2223, 
/* msg =   1200, deg =  3 */   1200,   2096,   2224, 
/* msg =   1201, deg =  3 */   1201,   2097,   2225, 
/* msg =   1202, deg =  3 */   1202,   2098,   2226, 
/* msg =   1203, deg =  3 */   1203,   2099,   2227, 
/* msg =   1204, deg =  3 */   1204,   2100,   2228, 
/* msg =   1205, deg =  3 */   1205,   2101,   2229, 
/* msg =   1206, deg =  3 */   1206,   2102,   2230, 
/* msg =   1207, deg =  3 */   1207,   2103,   2231, 
/* msg =   1208, deg =  3 */   1208,   2104,   2232, 
/* msg =   1209, deg =  3 */   1209,   2105,   2233, 
/* msg =   1210, deg =  3 */   1210,   2106,   2234, 
/* msg =   1211, deg =  3 */   1211,   2107,   2235, 
/* msg =   1212, deg =  3 */   1212,   2108,   2236, 
/* msg =   1213, deg =  3 */   1213,   2109,   2237, 
/* msg =   1214, deg =  3 */   1214,   2110,   2238, 
/* msg =   1215, deg =  3 */   1215,   2111,   2239, 
/* msg =   1216, deg =  3 */   1216,   2112,   2240, 
/* msg =   1217, deg =  3 */   1217,   2113,   2241, 
/* msg =   1218, deg =  3 */   1218,   2114,   2242, 
/* msg =   1219, deg =  3 */   1219,   2115,   2243, 
/* msg =   1220, deg =  3 */   1220,   2116,   2244, 
/* msg =   1221, deg =  3 */   1221,   2117,   2245, 
/* msg =   1222, deg =  3 */   1222,   2118,   2246, 
/* msg =   1223, deg =  3 */   1223,   2119,   2247, 
/* msg =   1224, deg =  3 */   1224,   2120,   2248, 
/* msg =   1225, deg =  3 */   1225,   2121,   2249, 
/* msg =   1226, deg =  3 */   1226,   2122,   2250, 
/* msg =   1227, deg =  3 */   1227,   2123,   2251, 
/* msg =   1228, deg =  3 */   1228,   2124,   2252, 
/* msg =   1229, deg =  3 */   1229,   2125,   2253, 
/* msg =   1230, deg =  3 */   1230,   2126,   2254, 
/* msg =   1231, deg =  3 */   1231,   2127,   2255, 
/* msg =   1232, deg =  3 */   1232,   2128,   2256, 
/* msg =   1233, deg =  3 */   1233,   2129,   2257, 
/* msg =   1234, deg =  3 */   1234,   2130,   2258, 
/* msg =   1235, deg =  3 */   1235,   2131,   2259, 
/* msg =   1236, deg =  3 */   1236,   2132,   2260, 
/* msg =   1237, deg =  3 */   1237,   2133,   2261, 
/* msg =   1238, deg =  3 */   1238,   2134,   2262, 
/* msg =   1239, deg =  3 */   1239,   2135,   2263, 
/* msg =   1240, deg =  3 */   1240,   2136,   2264, 
/* msg =   1241, deg =  3 */   1241,   2137,   2265, 
/* msg =   1242, deg =  3 */   1242,   2138,   2266, 
/* msg =   1243, deg =  3 */   1243,   2139,   2267, 
/* msg =   1244, deg =  3 */   1244,   2140,   2268, 
/* msg =   1245, deg =  3 */   1245,   2141,   2269, 
/* msg =   1246, deg =  3 */   1246,   2142,   2270, 
/* msg =   1247, deg =  3 */   1247,   2143,   2271, 
/* msg =   1248, deg =  3 */   1248,   2144,   2272, 
/* msg =   1249, deg =  3 */   1249,   2145,   2273, 
/* msg =   1250, deg =  3 */   1250,   2146,   2274, 
/* msg =   1251, deg =  3 */   1251,   2147,   2275, 
/* msg =   1252, deg =  3 */   1252,   2148,   2276, 
/* msg =   1253, deg =  3 */   1253,   2149,   2277, 
/* msg =   1254, deg =  3 */   1254,   2150,   2278, 
/* msg =   1255, deg =  3 */   1255,   2151,   2279, 
/* msg =   1256, deg =  3 */   1256,   2152,   2280, 
/* msg =   1257, deg =  3 */   1257,   2153,   2281, 
/* msg =   1258, deg =  3 */   1258,   2154,   2282, 
/* msg =   1259, deg =  3 */   1259,   2155,   2283, 
/* msg =   1260, deg =  3 */   1260,   2156,   2284, 
/* msg =   1261, deg =  3 */   1261,   2157,   2285, 
/* msg =   1262, deg =  3 */   1262,   2158,   2286, 
/* msg =   1263, deg =  3 */   1263,   2159,   2287, 
/* msg =   1264, deg =  3 */   1264,   2160,   2288, 
/* msg =   1265, deg =  3 */   1265,   2161,   2289, 
/* msg =   1266, deg =  3 */   1266,   2162,   2290, 
/* msg =   1267, deg =  3 */   1267,   2163,   2291, 
/* msg =   1268, deg =  3 */   1268,   2164,   2292, 
/* msg =   1269, deg =  3 */   1269,   2165,   2293, 
/* msg =   1270, deg =  3 */   1270,   2166,   2294, 
/* msg =   1271, deg =  3 */   1271,   2167,   2295, 
/* msg =   1272, deg =  3 */   1272,   2168,   2296, 
/* msg =   1273, deg =  3 */   1273,   2169,   2297, 
/* msg =   1274, deg =  3 */   1274,   2170,   2298, 
/* msg =   1275, deg =  3 */   1275,   2171,   2299, 
/* msg =   1276, deg =  3 */   1276,   2172,   2300, 
/* msg =   1277, deg =  3 */   1277,   2173,   2301, 
/* msg =   1278, deg =  3 */   1278,   2174,   2302, 
/* msg =   1279, deg =  3 */   1279,   2175,   2303, 
/* msg =   1280, deg =  3 */   1280,   2176,   2304, 
/* msg =   1281, deg =  3 */   1281,   2177,   2305, 
/* msg =   1282, deg =  3 */   1282,   2178,   2306, 
/* msg =   1283, deg =  3 */   1283,   2179,   2307, 
/* msg =   1284, deg =  3 */   1284,   2180,   2308, 
/* msg =   1285, deg =  3 */   1285,   2181,   2309, 
/* msg =   1286, deg =  3 */   1286,   2182,   2310, 
/* msg =   1287, deg =  3 */   1287,   2183,   2311, 
/* msg =   1288, deg =  3 */   1288,   2184,   2312, 
/* msg =   1289, deg =  3 */   1289,   2185,   2313, 
/* msg =   1290, deg =  3 */   1290,   2186,   2314, 
/* msg =   1291, deg =  3 */   1291,   2187,   2315, 
/* msg =   1292, deg =  3 */   1292,   2188,   2316, 
/* msg =   1293, deg =  3 */   1293,   2189,   2317, 
/* msg =   1294, deg =  3 */   1294,   2190,   2318, 
/* msg =   1295, deg =  3 */   1295,   2191,   2319, 
/* msg =   1296, deg =  3 */   1296,   2192,   2320, 
/* msg =   1297, deg =  3 */   1297,   2193,   2321, 
/* msg =   1298, deg =  3 */   1298,   2194,   2322, 
/* msg =   1299, deg =  3 */   1299,   2195,   2323, 
/* msg =   1300, deg =  3 */   1300,   2196,   2324, 
/* msg =   1301, deg =  3 */   1301,   2197,   2325, 
/* msg =   1302, deg =  3 */   1302,   2198,   2326, 
/* msg =   1303, deg =  3 */   1303,   2199,   2327, 
/* msg =   1304, deg =  3 */   1304,   2200,   2328, 
/* msg =   1305, deg =  3 */   1305,   2201,   2329, 
/* msg =   1306, deg =  3 */   1306,   2202,   2330, 
/* msg =   1307, deg =  3 */   1307,   2203,   2331, 
/* msg =   1308, deg =  3 */   1308,   2204,   2332, 
/* msg =   1309, deg =  3 */   1309,   2205,   2333, 
/* msg =   1310, deg =  3 */   1310,   2206,   2334, 
/* msg =   1311, deg =  3 */   1311,   2207,   2335, 
/* msg =   1312, deg =  3 */   1312,   2208,   2336, 
/* msg =   1313, deg =  3 */   1313,   2209,   2337, 
/* msg =   1314, deg =  3 */   1314,   2210,   2338, 
/* msg =   1315, deg =  3 */   1315,   2211,   2339, 
/* msg =   1316, deg =  3 */   1316,   2212,   2340, 
/* msg =   1317, deg =  3 */   1317,   2213,   2341, 
/* msg =   1318, deg =  3 */   1318,   2214,   2342, 
/* msg =   1319, deg =  3 */   1319,   2215,   2343, 
/* msg =   1320, deg =  3 */   1320,   2216,   2344, 
/* msg =   1321, deg =  3 */   1321,   2217,   2345, 
/* msg =   1322, deg =  3 */   1322,   2218,   2346, 
/* msg =   1323, deg =  3 */   1323,   2219,   2347, 
/* msg =   1324, deg =  3 */   1324,   2220,   2348, 
/* msg =   1325, deg =  3 */   1325,   2221,   2349, 
/* msg =   1326, deg =  3 */   1326,   2222,   2350, 
/* msg =   1327, deg =  3 */   1327,   2223,   2351, 
/* msg =   1328, deg =  3 */   1328,   2224,   2352, 
/* msg =   1329, deg =  3 */   1329,   2225,   2353, 
/* msg =   1330, deg =  3 */   1330,   2226,   2354, 
/* msg =   1331, deg =  3 */   1331,   2227,   2355, 
/* msg =   1332, deg =  3 */   1332,   2228,   2356, 
/* msg =   1333, deg =  3 */   1333,   2229,   2357, 
/* msg =   1334, deg =  3 */   1334,   2230,   2358, 
/* msg =   1335, deg =  3 */   1335,   2231,   2359, 
/* msg =   1336, deg =  3 */   1336,   2232,   2360, 
/* msg =   1337, deg =  3 */   1337,   2233,   2361, 
/* msg =   1338, deg =  3 */   1338,   2234,   2362, 
/* msg =   1339, deg =  3 */   1339,   2235,   2363, 
/* msg =   1340, deg =  3 */   1340,   2236,   2364, 
/* msg =   1341, deg =  3 */   1341,   2237,   2365, 
/* msg =   1342, deg =  3 */   1342,   2238,   2366, 
/* msg =   1343, deg =  3 */   1343,   2239,   2367, 
/* msg =   1344, deg =  3 */   1344,   2240,   2368, 
/* msg =   1345, deg =  3 */   1345,   2241,   2369, 
/* msg =   1346, deg =  3 */   1346,   2242,   2370, 
/* msg =   1347, deg =  3 */   1347,   2243,   2371, 
/* msg =   1348, deg =  3 */   1348,   2244,   2372, 
/* msg =   1349, deg =  3 */   1349,   2245,   2373, 
/* msg =   1350, deg =  3 */   1350,   2246,   2374, 
/* msg =   1351, deg =  3 */   1351,   2247,   2375, 
/* msg =   1352, deg =  3 */   1352,   2248,   2376, 
/* msg =   1353, deg =  3 */   1353,   2249,   2377, 
/* msg =   1354, deg =  3 */   1354,   2250,   2378, 
/* msg =   1355, deg =  3 */   1355,   2251,   2379, 
/* msg =   1356, deg =  3 */   1356,   2252,   2380, 
/* msg =   1357, deg =  3 */   1357,   2253,   2381, 
/* msg =   1358, deg =  3 */   1358,   2254,   2382, 
/* msg =   1359, deg =  3 */   1359,   2255,   2383, 
/* msg =   1360, deg =  3 */   1360,   2256,   2384, 
/* msg =   1361, deg =  3 */   1361,   2257,   2385, 
/* msg =   1362, deg =  3 */   1362,   2258,   2386, 
/* msg =   1363, deg =  3 */   1363,   2259,   2387, 
/* msg =   1364, deg =  3 */   1364,   2260,   2388, 
/* msg =   1365, deg =  3 */   1365,   2261,   2389, 
/* msg =   1366, deg =  3 */   1366,   2262,   2390, 
/* msg =   1367, deg =  3 */   1367,   2263,   2391, 
/* msg =   1368, deg =  3 */   1368,   2264,   2392, 
/* msg =   1369, deg =  3 */   1369,   2265,   2393, 
/* msg =   1370, deg =  3 */   1370,   2266,   2394, 
/* msg =   1371, deg =  3 */   1371,   2267,   2395, 
/* msg =   1372, deg =  3 */   1372,   2268,   2396, 
/* msg =   1373, deg =  3 */   1373,   2269,   2397, 
/* msg =   1374, deg =  3 */   1374,   2270,   2398, 
/* msg =   1375, deg =  3 */   1375,   2271,   2399, 
/* msg =   1376, deg =  3 */   1376,   2272,   2400, 
/* msg =   1377, deg =  3 */   1377,   2273,   2401, 
/* msg =   1378, deg =  3 */   1378,   2274,   2402, 
/* msg =   1379, deg =  3 */   1379,   2275,   2403, 
/* msg =   1380, deg =  3 */   1380,   2276,   2404, 
/* msg =   1381, deg =  3 */   1381,   2277,   2405, 
/* msg =   1382, deg =  3 */   1382,   2278,   2406, 
/* msg =   1383, deg =  3 */   1383,   2279,   2407, 
/* msg =   1384, deg =  3 */   1384,   2280,   2408, 
/* msg =   1385, deg =  3 */   1385,   2281,   2409, 
/* msg =   1386, deg =  3 */   1386,   2282,   2410, 
/* msg =   1387, deg =  3 */   1387,   2283,   2411, 
/* msg =   1388, deg =  3 */   1388,   2284,   2412, 
/* msg =   1389, deg =  3 */   1389,   2285,   2413, 
/* msg =   1390, deg =  3 */   1390,   2286,   2414, 
/* msg =   1391, deg =  3 */   1391,   2287,   2415, 
/* msg =   1392, deg =  3 */   1392,   2288,   2416, 
/* msg =   1393, deg =  3 */   1393,   2289,   2417, 
/* msg =   1394, deg =  3 */   1394,   2290,   2418, 
/* msg =   1395, deg =  3 */   1395,   2291,   2419, 
/* msg =   1396, deg =  3 */   1396,   2292,   2420, 
/* msg =   1397, deg =  3 */   1397,   2293,   2421, 
/* msg =   1398, deg =  3 */   1398,   2294,   2422, 
/* msg =   1399, deg =  3 */   1399,   2295,   2423, 
/* msg =   1400, deg =  3 */   1400,   2296,   2424, 
/* msg =   1401, deg =  3 */   1401,   2297,   2425, 
/* msg =   1402, deg =  3 */   1402,   2298,   2426, 
/* msg =   1403, deg =  3 */   1403,   2299,   2427, 
/* msg =   1404, deg =  3 */   1404,   2300,   2428, 
/* msg =   1405, deg =  3 */   1405,   2301,   2429, 
/* msg =   1406, deg =  3 */   1406,   2302,   2430, 
/* msg =   1407, deg =  3 */   1407,   2303,   2431, 
/* msg =   1408, deg =  3 */   1408,   2304,   2432, 
/* msg =   1409, deg =  3 */   1409,   2305,   2433, 
/* msg =   1410, deg =  3 */   1410,   2306,   2434, 
/* msg =   1411, deg =  3 */   1411,   2307,   2435, 
/* msg =   1412, deg =  3 */   1412,   2308,   2436, 
/* msg =   1413, deg =  3 */   1413,   2309,   2437, 
/* msg =   1414, deg =  3 */   1414,   2310,   2438, 
/* msg =   1415, deg =  3 */   1415,   2311,   2439, 
/* msg =   1416, deg =  3 */   1416,   2312,   2440, 
/* msg =   1417, deg =  3 */   1417,   2313,   2441, 
/* msg =   1418, deg =  3 */   1418,   2314,   2442, 
/* msg =   1419, deg =  3 */   1419,   2315,   2443, 
/* msg =   1420, deg =  3 */   1420,   2316,   2444, 
/* msg =   1421, deg =  3 */   1421,   2317,   2445, 
/* msg =   1422, deg =  3 */   1422,   2318,   2446, 
/* msg =   1423, deg =  3 */   1423,   2319,   2447, 
/* msg =   1424, deg =  3 */   1424,   2320,   2448, 
/* msg =   1425, deg =  3 */   1425,   2321,   2449, 
/* msg =   1426, deg =  3 */   1426,   2322,   2450, 
/* msg =   1427, deg =  3 */   1427,   2323,   2451, 
/* msg =   1428, deg =  3 */   1428,   2324,   2452, 
/* msg =   1429, deg =  3 */   1429,   2325,   2453, 
/* msg =   1430, deg =  3 */   1430,   2326,   2454, 
/* msg =   1431, deg =  3 */   1431,   2327,   2455, 
/* msg =   1432, deg =  3 */   1432,   2328,   2456, 
/* msg =   1433, deg =  3 */   1433,   2329,   2457, 
/* msg =   1434, deg =  3 */   1434,   2330,   2458, 
/* msg =   1435, deg =  3 */   1435,   2331,   2459, 
/* msg =   1436, deg =  3 */   1436,   2332,   2460, 
/* msg =   1437, deg =  3 */   1437,   2333,   2461, 
/* msg =   1438, deg =  3 */   1438,   2334,   2462, 
/* msg =   1439, deg =  3 */   1439,   2335,   2463, 
/* msg =   1440, deg =  3 */   1440,   2336,   2464, 
/* msg =   1441, deg =  3 */   1441,   2337,   2465, 
/* msg =   1442, deg =  3 */   1442,   2338,   2466, 
/* msg =   1443, deg =  3 */   1443,   2339,   2467, 
/* msg =   1444, deg =  3 */   1444,   2340,   2468, 
/* msg =   1445, deg =  3 */   1445,   2341,   2469, 
/* msg =   1446, deg =  3 */   1446,   2342,   2470, 
/* msg =   1447, deg =  3 */   1447,   2343,   2471, 
/* msg =   1448, deg =  3 */   1448,   2344,   2472, 
/* msg =   1449, deg =  3 */   1449,   2345,   2473, 
/* msg =   1450, deg =  3 */   1450,   2346,   2474, 
/* msg =   1451, deg =  3 */   1451,   2347,   2475, 
/* msg =   1452, deg =  3 */   1452,   2348,   2476, 
/* msg =   1453, deg =  3 */   1453,   2349,   2477, 
/* msg =   1454, deg =  3 */   1454,   2350,   2478, 
/* msg =   1455, deg =  3 */   1455,   2351,   2479, 
/* msg =   1456, deg =  3 */   1456,   2352,   2480, 
/* msg =   1457, deg =  3 */   1457,   2353,   2481, 
/* msg =   1458, deg =  3 */   1458,   2354,   2482, 
/* msg =   1459, deg =  3 */   1459,   2355,   2483, 
/* msg =   1460, deg =  3 */   1460,   2356,   2484, 
/* msg =   1461, deg =  3 */   1461,   2357,   2485, 
/* msg =   1462, deg =  3 */   1462,   2358,   2486, 
/* msg =   1463, deg =  3 */   1463,   2359,   2487, 
/* msg =   1464, deg =  3 */   1464,   2360,   2488, 
/* msg =   1465, deg =  3 */   1465,   2361,   2489, 
/* msg =   1466, deg =  3 */   1466,   2362,   2490, 
/* msg =   1467, deg =  3 */   1467,   2363,   2491, 
/* msg =   1468, deg =  3 */   1468,   2364,   2492, 
/* msg =   1469, deg =  3 */   1469,   2365,   2493, 
/* msg =   1470, deg =  3 */   1470,   2366,   2494, 
/* msg =   1471, deg =  3 */   1471,   2367,   2495, 
/* msg =   1472, deg =  3 */   1472,   2368,   2496, 
/* msg =   1473, deg =  3 */   1473,   2369,   2497, 
/* msg =   1474, deg =  3 */   1474,   2370,   2498, 
/* msg =   1475, deg =  3 */   1475,   2371,   2499, 
/* msg =   1476, deg =  3 */   1476,   2372,   2500, 
/* msg =   1477, deg =  3 */   1477,   2373,   2501, 
/* msg =   1478, deg =  3 */   1478,   2374,   2502, 
/* msg =   1479, deg =  3 */   1479,   2375,   2503, 
/* msg =   1480, deg =  3 */   1480,   2376,   2504, 
/* msg =   1481, deg =  3 */   1481,   2377,   2505, 
/* msg =   1482, deg =  3 */   1482,   2378,   2506, 
/* msg =   1483, deg =  3 */   1483,   2379,   2507, 
/* msg =   1484, deg =  3 */   1484,   2380,   2508, 
/* msg =   1485, deg =  3 */   1485,   2381,   2509, 
/* msg =   1486, deg =  3 */   1486,   2382,   2510, 
/* msg =   1487, deg =  3 */   1487,   2383,   2511, 
/* msg =   1488, deg =  3 */   1488,   2384,   2512, 
/* msg =   1489, deg =  3 */   1489,   2385,   2513, 
/* msg =   1490, deg =  3 */   1490,   2386,   2514, 
/* msg =   1491, deg =  3 */   1491,   2387,   2515, 
/* msg =   1492, deg =  3 */   1492,   2388,   2516, 
/* msg =   1493, deg =  3 */   1493,   2389,   2517, 
/* msg =   1494, deg =  3 */   1494,   2390,   2518, 
/* msg =   1495, deg =  3 */   1495,   2391,   2519, 
/* msg =   1496, deg =  3 */   1496,   2392,   2520, 
/* msg =   1497, deg =  3 */   1497,   2393,   2521, 
/* msg =   1498, deg =  3 */   1498,   2394,   2522, 
/* msg =   1499, deg =  3 */   1499,   2395,   2523, 
/* msg =   1500, deg =  3 */   1500,   2396,   2524, 
/* msg =   1501, deg =  3 */   1501,   2397,   2525, 
/* msg =   1502, deg =  3 */   1502,   2398,   2526, 
/* msg =   1503, deg =  3 */   1503,   2399,   2527, 
/* msg =   1504, deg =  3 */   1504,   2400,   2528, 
/* msg =   1505, deg =  3 */   1505,   2401,   2529, 
/* msg =   1506, deg =  3 */   1506,   2402,   2530, 
/* msg =   1507, deg =  3 */   1507,   2403,   2531, 
/* msg =   1508, deg =  3 */   1508,   2404,   2532, 
/* msg =   1509, deg =  3 */   1509,   2405,   2533, 
/* msg =   1510, deg =  3 */   1510,   2406,   2534, 
/* msg =   1511, deg =  3 */   1511,   2407,   2535, 
/* msg =   1512, deg =  3 */   1512,   2408,   2536, 
/* msg =   1513, deg =  3 */   1513,   2409,   2537, 
/* msg =   1514, deg =  3 */   1514,   2410,   2538, 
/* msg =   1515, deg =  3 */   1515,   2411,   2539, 
/* msg =   1516, deg =  3 */   1516,   2412,   2540, 
/* msg =   1517, deg =  3 */   1517,   2413,   2541, 
/* msg =   1518, deg =  3 */   1518,   2414,   2542, 
/* msg =   1519, deg =  3 */   1519,   2415,   2543, 
/* msg =   1520, deg =  3 */   1520,   2416,   2544, 
/* msg =   1521, deg =  3 */   1521,   2417,   2545, 
/* msg =   1522, deg =  3 */   1522,   2418,   2546, 
/* msg =   1523, deg =  3 */   1523,   2419,   2547, 
/* msg =   1524, deg =  3 */   1524,   2420,   2548, 
/* msg =   1525, deg =  3 */   1525,   2421,   2549, 
/* msg =   1526, deg =  3 */   1526,   2422,   2550, 
/* msg =   1527, deg =  3 */   1527,   2423,   2551, 
/* msg =   1528, deg =  3 */   1528,   2424,   2552, 
/* msg =   1529, deg =  3 */   1529,   2425,   2553, 
/* msg =   1530, deg =  3 */   1530,   2426,   2554, 
/* msg =   1531, deg =  3 */   1531,   2427,   2555, 
/* msg =   1532, deg =  3 */   1532,   2428,   2556, 
/* msg =   1533, deg =  3 */   1533,   2429,   2557, 
/* msg =   1534, deg =  3 */   1534,   2430,   2558, 
/* msg =   1535, deg =  3 */   1535,   2431,   2559
};
#endif

